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
Software safety and reliability , level crossing signalling systems , UML modelling , railway traffic control systems Computer Science , Computer Communication Networks , Information Systems Applications (incl. Internet) , Information Storage and Retrieval , Database Management , Algorithm Analysis and Problem Complexity , Multimedia Information Systems
British Library Conference Proceedings | 2010
|Intelligent Control System for Railway Level Crossing Safety
Tema Archive | 2012
|