Results 181 to 190 of about 99,408 (239)
Some of the next articles are maybe not open access.
Model-Based Testing of Railway Interlocking Systems
Leveraging Applications of Formal MethodsA. Cimatti +7 more
semanticscholar +2 more sources
ESEC/SIGSOFT FSE, 2023
Interlocking has long played a crucial role in railway systems. Its functional correctness, particularly concerning safety, forms the foundation of the entire signaling system.
Yibo Dong +7 more
semanticscholar +1 more source
Interlocking has long played a crucial role in railway systems. Its functional correctness, particularly concerning safety, forms the foundation of the entire signaling system.
Yibo Dong +7 more
semanticscholar +1 more source
CSP specification and verification of relay-based railway interlocking systems
ACM Symposium on Applied Computing, 2022Despite the existence of new technologies, relay-based electrical circuits are still used in the majority of the Railway Interlocking Systems installations.
Dalay Israel de Almeida Pereira +4 more
semanticscholar +1 more source
Modelling Railway Interlocking Systems
IFAC Proceedings Volumes, 2000Abstract In this paper we present a formal model of railway interlocking systems following a protocol based on train routes. The model is divided into one part describing the physical system and another part describing the control mechanisms monitoring observables of the physical system.
Morten P. Lindegaard +2 more
openaire +1 more source
International Symposium on Applied Computational Intelligence and Informatics, 2022
The use of formal modeling is gaining popularity in the development of safety-critical transport applications, in particular railway interlocking systems, due to its ability to specify the functionality of systems using mathematically precise logical ...
Gábor Lukács, Tamás Bartha
semanticscholar +1 more source
The use of formal modeling is gaining popularity in the development of safety-critical transport applications, in particular railway interlocking systems, due to its ability to specify the functionality of systems using mathematically precise logical ...
Gábor Lukács, Tamás Bartha
semanticscholar +1 more source
Instantiating generic charts for railway interlocking systems
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005The development of computer controlled Railway Interlocking Systems has seen an increasing interest in the use of Formal Methods, due to their ability to precisely specify the logical rules that guarantee the safe establishment of routes for trains through a railway yard.
M. BANCI, FANTECHI, ALESSANDRO
openaire +4 more sources
Railway interlocking systems and Gröbner bases
Mathematics and Computers in Simulation, 2000Railway interlocking systems are designed to prevent conflicting actions (related to the position of switches and signals) during everyday railway exploitation. A decision model (independent from the topology of the station) based on the use of polynomial ideals and Grobner bases is presented.
Eugenio Roanes-Lozano +2 more
openaire +1 more source
2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC), 2023
Clock synchronization is one of the essential problems for the cloud-based railway interlocking system, which is related to task processing and information synchronization.
Qihe Zhang +7 more
semanticscholar +1 more source
Clock synchronization is one of the essential problems for the cloud-based railway interlocking system, which is related to task processing and information synchronization.
Qihe Zhang +7 more
semanticscholar +1 more source
A Hybrid Meta-Heuristic Algorithm of Load Balancing for Cloud-based Railway Interlocking System
2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC), 2023Cloud-based railway interlocking system is a novel solution for interlocking systems with the development of cloud computing. The load balancing problem caused by imbalanced resources in computing platforms is an essential problem in realizing cloud ...
Huan Zheng +7 more
semanticscholar +1 more source
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems
IEEE International Requirements Engineering Conference, 2019Consistency verification of safety requirements is an important but still challenging task for safety-critical systems such as rail transit systems.
Xiaohong Chen +6 more
semanticscholar +1 more source