Formal Analysis of Automatic Train Protection and Block System for Local Line Using VDM++ and UML
スポンサーリンク
概要
- 論文の詳細を見る
- 2011-07-21
著者
-
NAKAMURA Hideo
Nihon University
-
Takahashi Sei
Nihon University
-
Takahashi Sei
Department Of Electronics And Computer Science Nihon University
-
Xie Guo
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
- B304 Study on Quantitative Evaluation Methods for Safety of Railway Signalling Systems
- 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