Results 241 to 250 of about 285,209 (280)
Some of the next articles are maybe not open access.
Microprocessors in railway signalling: the Solid-State Interlocking
Microprocessors and Microsystems, 1987Abstract The paper reviews some of the techniques available to the designer of safety-critical systems and describes their application to the complex engineering requirements of main-line railway signalling, in the form of British Rail's Solid-State Interlocking (SSI). The design of central interlocking and track-side interface equipment is described
openaire +1 more source
Automatic generation of VHDL code for a railway interlocking system
International Journal of Embedded Systems, 2021M. N. Menéndez +3 more
semanticscholar +1 more source
Specifying Railway Interlocking Requirements for Practical Use
1997An essentially complete formal specification of safety requirements for railway interlockings has been developed. The work is part of as project with the Swedish National Rail Administration investigating the feasibility of using formal methods for the analysis of interlockings in a production setting.
openaire +1 more source
From Relay-Based Railway Interlocking Circuits to Formal Specification: An AI-Driven Approach
International Conference on Reliability, Safety, and Security of Railway SystemsDalay Israel de Almeida Pereira +1 more
semanticscholar +1 more source
Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection
International Conference on Reliability, Safety, and Security of Railway SystemsA. Haxthausen +2 more
semanticscholar +1 more source
Resilience in railway transport systems: a literature review and research agenda
Transport Reviews, 2020Nikola Bešinović
exaly
Energy efficiency analysis of relay railway interlockings
2023 15th International Conference on Electronics, Computers and Artificial Intelligence (ECAI), 2023Florin Bădău +2 more
openaire +1 more source