Results 231 to 240 of about 976,513 (253)
Testing of a Computer Based Interlocking Software: Methodology and Environment
IFAC Proceedings Volumes, 1992 Abstract Ansaldo Trasporti Computer Based Interlocking System “ACC” is based on multiprocessor architecture and software developed with safety criteria. It achieves the same levels of safety and availability as relay interlocking. Safety and availability are fundamental attributes of dependability requirements for the ACC system; they are assured ...
C. Abbaneo +3 more
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System
2017 24th Asia-Pacific Software Engineering Conference (APSEC), 2017Interlocking system is an important module to ensure traffic safety. However it is still very difficult to apply automatic testing in industrial application. In this paper, we propose an approach to generate test case automatically with the help of SMT Solver.
Zhiwei Li +4 more
openaire +2 more sources
Behavior of a computer based interlocking system under transient hardware faults
Proceedings Pacific Rim International Symposium on Fault-Tolerant Systems, 2002The paper addresses the safety analysis and evaluation of a hard real-time, interlocking, railway control system. The major objective is to demonstrate an efficient methodology capable of capturing crucial system dependability characteristics while allowing meaningful results to be obtained within a reasonable time. The evaluation is done by simulating
ROMANO L. +4 more
openaire +3 more sources
2011 IEEE International Conference on Computer Science and Automation Engineering, 2011
Interlocking tables, as the function specification of the Computer Based Interlocking System (CBI), play an important role in ensuring safe train movements at a railway station. The development and verification of interlocking tables is entirely manual process currently, which is inefficient and error-prone due to the complexity of the CBI and the ...
null Yan Cao +4 more
openaire +2 more sources
Interlocking tables, as the function specification of the Computer Based Interlocking System (CBI), play an important role in ensuring safe train movements at a railway station. The development and verification of interlocking tables is entirely manual process currently, which is inefficient and error-prone due to the complexity of the CBI and the ...
null Yan Cao +4 more
openaire +2 more sources
Design of Simulation system Based Double 2-vote-2 Computer-based Interlocking System
2019 International Conference on Information Technology and Computer Application (ITCA), 2019Based on the TYJL_III type double 2-vote-2 safety redundant computer-based interlocking system and referring to the existing mature computer technology and communication interface technology, a simulation system is designed and developed, which can simulate not only the interlocking input and output subsystem, but also other signal safety control ...
Lin Yang +3 more
openaire +2 more sources
The Risk Management of the Life Cycle of Computer-Based Interlocking System
Advanced Materials Research, 2014Computer-based interlocking system is the product of the development of information technology, computer technology and communication technology. With the railway station personnel controlling all the signal interlocking systems around the station, computer-based interlocking system could take better control of the station and train branches.
Z. Li
openaire +2 more sources
2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C), 2022
The computer-based interlocking (CBI) system of urban rail is a safe-critical system. To keep the high reliability of the CBI system of urban rail, reliability analysis is very necessary and important work. The double 2-out-of-2 redun-dancy structure has
Wenjia Long, Kaizhi Wang, Xuan Wang
openaire +2 more sources
The computer-based interlocking (CBI) system of urban rail is a safe-critical system. To keep the high reliability of the CBI system of urban rail, reliability analysis is very necessary and important work. The double 2-out-of-2 redun-dancy structure has
Wenjia Long, Kaizhi Wang, Xuan Wang
openaire +2 more sources
5th International Conference on Computer Information Science and Application Technology (CISAT 2022), 2022
The computer-based interlocking system is a control system to ensure driving safety, with the safety level of STL4, which is a typical safety-critical system.
Yu Wen
openaire +2 more sources
The computer-based interlocking system is a control system to ensure driving safety, with the safety level of STL4, which is a typical safety-critical system.
Yu Wen
openaire +2 more sources
CNML, 2023
Contending with the current status quo of computerized interlock automatic test, in the test result determination module of computerized interlock automatic test system, OpenCV computer vision library is introduced to realize the test result ...
Juanning Wang, Qiang Li
semanticscholar +1 more source
Contending with the current status quo of computerized interlock automatic test, in the test result determination module of computerized interlock automatic test system, OpenCV computer vision library is introduced to realize the test result ...
Juanning Wang, Qiang Li
semanticscholar +1 more source
Computer Interlocking Simulation System Based on Artificial Intelligence Web
2022 IEEE 2nd International Conference on Mobile Networks and Wireless Communications (ICMNWC), 2022Computer interlocking system is an important part of high-speed railway signal system, and it is a station control system directly related to traffic safety.
Hui Qi
semanticscholar +1 more source