Toward evaluating reliability of a decentralized railway interlocking system (信頼性)
スポンサーリンク
概要
- 論文の詳細を見る
Component-based distributed railway interlocking system (CBDRIS) is a new railway interlocking system which was presented recently. In this paper, failure model of the CBDRIS is established and its reliability is evaluated and key factors to improve the reliability are analyzed. The results show that the CBDRIS is possible to get acceptable reliability and its development is feasible. It meets the specifications of SIL 4 according to IEC61508.
- 社団法人電子情報通信学会の論文
- 2007-10-12
著者
-
Nakamura Hideo
Computer Science Graduate Course Graduate School Of Science And Technology Nihon University
-
HEI Xinhong
College of Science and Technology, Nihon University
-
TAKAHASHI Sei
College of Science and Technology, Nihon University
-
NAKAMURA Hideo
College of Science and Technology, Nihon University
-
Takahashi Sei
Nihon University
-
TAKAHASHI Sei
Computer Science Graduate Course, Graduate School of Science and Technology, Nihon University
-
Hei Xinhong
School Of Computer Science And Technology Xi'an University Of Technology
-
Takahashi Sei
College Of Science & Technology Nihon University
-
Nakamura Hideo
College Of Science & 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)
- 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
- Modeling and Analyzing Component-Based Distributed Railway Interlocking System with Petri Nets
- 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
- B303 DEVELOPMENT OF THE FAIL-SAFE SINGLE CHIP RISC-CPU BOARD
- Formal Analysis of Automatic Train Protection and Block System for Local Line Using VDM++ and UML
- 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
- 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