4-1 Formal Analysis and Simulation of ATPB System
スポンサーリンク
概要
- 論文の詳細を見る
This paper makes a formal analysis of the specification of a novel railway system, ATPB system, which is proposed by the authors. Firstly, on the basis of analyzing the requirements of the actual system, it established the specification of the ATPB system by VDM++. Secondly it proved the internal consistency which can guarantee there is no runtime error; and then it validated the satisfiability, which is used to make sure that the specification satisfies the requirement. At last, it simulated the system strictly according to the formal specification.
- 2011-11-07
著者
-
Takahashi Sei
Nihon University
-
Takahashi Sei
Department Of Electronics And Computer Science Nihon University
-
Xie Guo
Nihon University
-
Xie Guo
College of Science and Technology, Nihon University
関連論文
- Toward development of distributed railway interlocking system (ディペンダブルコンピューティング)
- [4-1]Modeling and performance evaluation strategy of component-based distributed railway interlocking system(Report of 19th Autumnal Reliability Symposium)
- Improving Reliability of Railway Interlocking System with Component-based Technology (特集 情報システムの信頼性・保全性)
- 4-1 Modeling and performance evaluation strategy 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
- B301 APPLICATION OF RAIL TRANSMISSION TECHNOLOGY TO RAILWAY SIGNALS USING SPREAD SPECTRUM COMMUNICATION TECHNOLOGY
- Formal Analysis of Automatic Train Protection and Block System for Local Line Using VDM++ and UML
- 4-1 Formal Analysis and Simulation of ATPB System
- Formal Analysis of Automatic Train Protection and Block System for Local Line Using VDM++ and UML
- Research on Development of a Safe and Reliable Software System for Automatic Train Protection and Block System