Results 31 to 40 of about 99,408 (239)
Pollack Periodica, 2019 The use of formal modeling has seen an increasing interest in the development of safety-critical, embedded microcomputer-controlled railway interlocking systems, due to its ability to spec...
G. Lukács, Tamás Bartha
semanticscholar +1 more source
Study on Railway Signal Computer Interlocking System [PDF]
Advances in Intelligent Systems Research, 2015 This paper mainly discussed the railway signal computer interlocking system, including the basis of computer interlocking system, computer interlocking principle, fault of computer interlocking system maintenance. The study is focused on the working principle of the computer interlocking, including its hardware structure, working principle and the ...
openaire +1 more source
Formal Verification of a Railway Interlocking System using Model Checking [PDF]
Formal Aspects of Computing, 1998 Abstract. In this paper we describe an industrial application of formal methods. We have used model checking techniques to model and formally verify a rather complex software, i.e. part of the “safety logic” of a railway interlocking system.
A. Cimatti +5 more
openaire +2 more sources
Applied Bounded Model Checking for Interlocking System Designs [PDF]
, 2013 In this article the verification and validation of interlocking systems is investigated. Reviewing both geographical and route-related interlocking, the verification objectives can be structured from a perspective of computer science into (1 ...
Haxthausen, Anne Elisabeth +2 more
core +3 more sources
Simulation of Railway Lines with a Simplified Interlocking System
Sustainability, 2021 This paper deals with railway lines with low traffic intensity where trains are operated under simplified conditions. Those conditions are stated in a regulation, and there is no interlocking system on the line. The whole railway operation is organized according to a regulation in cooperation with the train crew.
Jaromír Široký +3 more
openaire +2 more sources
AIMS MathematicsRailway interlocking systems are essential safety components in rail transportation, designed to prevent train collisions. They regulate the transitions between sections of a railway station using rail traffic control elements. An interlocking system can
Antonio Hernando +3 more
doaj +1 more source
Automatic generation and verification of railway interlocking control tables using FSM and NuSMV [PDF]
Transport Problems, 2009 Due to their important role in providing safe conditions for train movements, railway interlocking systems are considered as safety critical systems.
Mohammad B. YAZDI, Ahmad MIRABADI
doaj
The time it takes: Temporalities of planning [PDF]
, 2014 State planning has been a defining means for modern subjects to regulate the passage of time. In practice, it is the focus of multiple conflicts and doubts, which planners attempt to mediate.
Abram, S
core +1 more source
Advanced Science, EarlyView.Schematic showing a stretchable triboelectric nanogenerator based on interlocked wavy architectures that uses EGaIn microflower‐embedded PVDF‐TrFE and Nylon‐6 nanofiber membranes. The multi‐petaled, electron‐rich EGaIn microflowers enhance interfacial polarization and capacitance, while the interlocked wavy architecture enlarges the effective contact ...
Qianqian Xu +12 more
wiley +1 more source
Development of Antifreezing High‐Efficiency Dust Suppressant for Railway Coal Transportation
Asia-Pacific Journal of Chemical Engineering, EarlyView.ABSTRACT In the process of railway coal transportation, a large amount of coal dust is dispersed, causing serious economic loss and environmental pollution. In order to improve the low‐temperature dust suppression performance, the present study has developed an antifreeze‐type, high‐efficiency railway coal transportation dust suppressant (hereinafter ...
Yuxing Huo +7 more
wiley +1 more source