Results 201 to 210 of about 285,209 (280)
Some of the next articles are maybe not open access.
New Distribution Paradigms for Railway Interlocking
Leveraging Applications of Formal Methods, 2020We discuss a new “flavour” of distributed interlocking systems, where the proper interlocking logic is allocated on cloud computers using conventional (i.e. commercial-off-the-shelf) multi-core hardware and operating systems. The servers in the cloud communicate with intelligent track elements over internet connections.
J. Peleska
openaire +2 more sources
Proof Semantics of Railway Interlocking
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ZLinas Laibinis +2 more
semanticscholar +3 more sources
Railway interlocking detection system
AIP Conference ProceedingsShraddha Dhere +3 more
openaire +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
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
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 Model-Based Testing System for Safety of Railway Interlocking
2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC), 2022Testing is an important safety assurance technique for railway interlocking systems. Model-based testing (MBT) allows for designing and maintaining tests with high-level models and generating test suites from these models automatically.
Haoxiang Su +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
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
2022 Fourth International Conference on Emerging Research in Electronics, Computer Science and Technology (ICERECT), 2022
Testing safety-critical software systems like urban railway interlocking systems is crucial since a software crash may lead to a terrible loss of assets and human life. A key problem in testing safety-critical software systems is the generation of a test
Lokanna Kadakolmath, Umesh D. Ramu
semanticscholar +1 more source
Testing safety-critical software systems like urban railway interlocking systems is crucial since a software crash may lead to a terrible loss of assets and human life. A key problem in testing safety-critical software systems is the generation of a test
Lokanna Kadakolmath, Umesh D. Ramu
semanticscholar +1 more source