Research on Development of a Safe and Reliable Software System for Automatic Train Protection and Block System
スポンサーリンク
概要
- 論文の詳細を見る
- 2013-01-01
著者
-
Takahashi Sei
College Of Science & Technology Nihon University
-
Nakamura Hideo
College Of Science & Technology Nihon University
-
Xie Guo
College of Science and Technology, Nihon University
-
TAKAHASHI Sei
College of Science and Technology,Nihon University
-
XIE Guo
College of Science and Technology,Nihon University
-
MOCHIZUKI Hiroshi
College of Science and Technology,Nihon University
関連論文
- 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
- 4-1 Formal Analysis and Simulation of ATPB System
- 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