Research on Development of a Safe and Reliable Software System for Automatic Train Protection and Block System
スポンサーリンク
概要
- 論文の詳細を見る
This paper makes a formal analysis of the specification for a novel railway signaling system, Automatic Train Protection and Block (ATPB) system, which is proposed by the authors to aid in restructuring regional rail lines at low cost in Japan. Firstly, after analyzing the requirements of the ATPB, state transitions for every component are created to express the internal mechanism. Then on the basis of original specification in natural language and state transitions, a rigorous specification of the ATPB is established in VDM++ without ambiguities. Thirdly, in order to guarantee that there are no runtime errors resulting from the internal inconsistency of specification, the internal consistency of VDM++ specification is proved. Followed by the satisfiability is checked by systematic testing to make sure the specification satisfies actual functional requirements. Lastly, the system is simulated strictly according to the formal specification. The simulation met functional requirements well, and illustrated high robustness with internal consistency.
- 2013-01-01
著者
関連論文
- Toward development of distributed railway interlocking system (ディペンダブルコンピューティング)
- A development strategy for component-based distributed railway interlocking system
- Improving Reliability of Railway Interlocking System with Component-based Technology (特集 情報システムの信頼性・保全性)
- 4-1 Modeling and performance evaluation strategy of component-based distributed railway interlocking system
- A formal safety framework of component-based distributed railway interlocking system
- Toward evaluating reliability of a decentralized railway interlocking system (信頼性)
- Design and safety assurance of decentralized interlocking system (安全性)
- A Modeling Approach of Distributed Interlocking System
- B303 DEVELOPMENT OF THE FAIL-SAFE SINGLE CHIP RISC-CPU BOARD
- Improvement of Analysis on the Along-Track Predicted Position Errors of ADS on a North Pacific Route(WSANE2007)
- SB-11-6 Along-track ADS Prediction Error Distributions Classified by Aircraft-type
- Research on Development of a Safe and Reliable Software System for Automatic Train Protection and Block System
- Research on Development of a Safe and Reliable Software System for Automatic Train Protection and Block System