Abstract The paper deals with design problems of correct and high reliable software for railway traffic control systems. The correct software (corresponding to formal or semi-formal criteria) has an important part in safety related (SIL4) railway control systems. The paper treats about actual state of art in design of safety related software for railway application. The proposed methods, recommended by CENELEC and UIC are introduced to example of automatic level crossing signaling system.
The Safety Related Software for Railway Control with Respect to Automatic Level Crossing Signaling System
2010-01-01
8 pages
Article/Chapter (Book)
Electronic Resource
English
UML modelling , Software safety and reliability , railway traffic control systems , level crossing signalling systems Algorithm Analysis and Problem Complexity , Computer Science , Information Systems Applications (incl. Internet) , Database Management , Multimedia Information Systems , Computer Communication Networks , Information Storage and Retrieval
British Library Conference Proceedings | 2010
|Intelligent Control System for Railway Level Crossing Safety
Tema Archive | 2012
|