Prohlížení dle autora "984b4d81-9ac3-473a-bd87-ceeec8fa2991"

Zobrazují se záznamy 1-4 z 4

    • COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT 

      Autor: Brandejský, Tomáš; Fábera, Vít
      (České vysoké učení technické v PrazeCzech Technical University in Prague, 2017)
      Presented contribution is dedicated to discussion of two different approaches into increase of programming language safety. They are language subset and extension of original safety mechanisms. As examples we used MISRA ...

    • Integral railway interlocking system and its assessment according to European standards 

      Autor: Brandejský, Tomáš; Fábera, Vít; Leso, Martin
      (České vysoké učení technické v PrazeCzech Technical University in Prague, 2023)
      This paper analyses the component of the Integrated Interlocking System which forms the central logical and functional unit implementing all logical and computational functions necessary for railway traffic control in the ...

    • PROBLEMS OF EN 50 128:2011 RAILWAY STANDARD 

      Autor: Brandejský, Tomáš
      (České vysoké učení technické v PrazeCzech Technical University in Prague, 2016)
      The second version of railway standard EN50128:2011 published by CENELEC is used for five years and thus the CENELEC reasons about preparation of new version of this standard are coming, because the CENELEC defined 10-year ...

    • RAILWAY TRAFFIC OPTIMIZATION 

      Autor: Kamenický, Dušan; Brandejský, Tomáš; Fábera, Vít; Gopak, Valerii
      (České vysoké učení technické v PrazeCzech Technical University in Prague, 2017)
      The article focuses on analysis of possibilities of operatic control of railway traffic and its automatization and its support by information systems. Conditions, necessary pieces of input information like infrastructure ...