Results 191 to 200 of about 15,562 (227)
Some of the next articles are maybe not open access.
Formal validation method for computerized railway interlocking systems
2009 International Conference on Computers & Industrial Engineering, 2009SNCF is responsible for putting into service all interlocking systems on the French railway network. It is therefore essential, especially for computerized SIL4 systems that, SNCF has its own approval process to ensure that new interlocking systems are safe in the context of the French network.
openaire +1 more source
Modelling and Verification of Interlocking Systems for Railway Lines
IFAC Proceedings Volumes, 2003Abstract In this paper we present a formal model of interlocking systems for railway lines. The model is divided into a part describing the physical system and a part describing the interlocking system. Furthermore, the static properties of the domain are parameters of the model and thus the model describes a class of railway lines and interlocking ...
Torben Gjaldbæk, Anne E. Haxthausen
openaire +1 more source
The Past, Present and Future of Railway Interlocking System
2020 IEEE 5th International Conference on Intelligent Transportation Engineering (ICITE), 2020Railway Interlocking system is the most fundamental and important part of railway signaling system. It ensures the safety of train movement. With the development of railway signaling system, it has experienced three stages: mechanical interlocking system, relay interlocking system and computer-based interlocking system.
openaire +1 more source
Automatic Instantiation for Railway Interlocking Systems
2007Real-life systems can be conveniently modeled by the replication and interconnection of simple components of few types: different configurations of the same system may vary just for the number of components and for the topology of their interconnections.
Banci M, Gnesi S
openaire +2 more sources
Safety Requirements Specification and Verification for Railway Interlocking Systems
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC), 2016The integration of formal methods and requirements analysis increases the dependability of safety-critical systems. However it is still very difficult to obtain all of the safety requirements in practice, and formally construct the safety requirements model as well.
Li Han +4 more
openaire +1 more source
An applicable topology-independent model for railway interlocking systems
Mathematics and Computers in Simulation, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Roanes-Lozano, Eugenio, Laita, Luis M.
openaire +1 more source
The safety-bag expert system in the electronic railway interlocking system elektra
Expert Systems with Applications, 1991Abstract The real-time expert system “Safety-Bag” is an integral part of the electronic railway interlocking system ELEKTRA. The interlockinh system contains a logic channel, which processes commands, and a safety channel, which checks the commands according to safety rules.
openaire +1 more source
Applying SOFL to a Railway Interlocking System in Industry
2017This paper describes another application of the SOFL three-step specification approach in specifying a railway interlocking system in industrial setting. We also explore the way of deriving hazard conditions from formal specifications, and propose a way to analyze the conditions for the assurance of the safety of the interlocking system in the early ...
Juan Luo +3 more
openaire +1 more source
IOT Based Interlocking System for Modem Electric Railway System
2022 International Conference on Smart and Sustainable Technologies in Energy and Power Sectors (SSTEPS), 2022Anuhya Thota +5 more
openaire +1 more source