RT Journal Article
SR Electronic
A1 Slivka, Milan
T1 Safety of Railway Systems and Formal/Semiformal Methods
JF Communications - Scientific Letters of the University of Zilina
YR 2011
VO 13
IS 11
SP 104
OP 108
DO 10.26552/com.C.2011.2A.104-108
UL https://komunikacie.uniza.sk/artkey/csl-201111-0018.php
AB The contribution deals with computer based railway safety systems. It shortly concerns problems associated with using computer systems in comparison with traditional safety systems. The attention is paid to formal and semiformal methods in development and approval of railways systems, seen in the context of standardization and legislation framework. The author summarizes current state of using formal and semiformal methods from whole life cycle point of view of railway safety system in the area of Slovak and Czech railways and possible reasons for their rare use.