Improving Reliability of Railway Interlocking System with Component-based Technology (特集 情報システムの信頼性・保全性)
スポンサーリンク
概要
- 論文の詳細を見る
Computerized railway interlocking systems have seen significant evolution and improvement since their introduction in 1985 and have demonstrated a high level of safety and reliability in safety-critical systems. However, it is costly and troublesome to develop current interlocking systems to ensure safety. In this paper, we present a new approach which aims to significantly improve interlocking system safety and reliability and to curtail system costs by developing a component-based railway interlocking system (CBRIS). We illustrate a method of modeling CBRIS using deterministic and stochastic Petri nets (DSPNs). Based on this modeling method, we also discuss a method of analyzing the safety and reliability of the presented CBRIS.
- 2006-12-01
著者
-
Sato Kazutoshi
Railway Technical Res. Inst. Kokubunji
-
Nakamura Hideo
Computer Science Graduate Course Graduate School Of Science And Technology Nihon University
-
NAKAMURA Hideo
College of Science and Technology, Nihon University
-
IWATA Koji
Railway Technical Research Institute
-
FUKUDA Mitsuyoshi
Railway Technical Research Institute
-
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
-
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
- Estimation of Occurrence Probability of Lightning Damages on Railway Level crossing
- Estimation of occurrence probability of lightning damages on railway level crossing (特集 IWHV 2007 (5th International Workshop on High Voltage Engineering))
- Experimental Study on Surge Propagation Characteristics of Rail and Lightning Overvoltages on Level Crossing
- Experimental Study on Surge Propagation Characteristics of Rail and Lightning Overvoltages on Level Crossing 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