A formal safety framework of component-based distributed railway interlocking system
スポンサーリンク
概要
- 論文の詳細を見る
Component technology has been applied to developing a variety of systems, including real-time control systems. Component-based distributed railway interlocking system (CBDRIS) is a system applying component technology to developing railway signal control systems. The CBDRIS curtails development period and lowers the update cost of railway interlocking system, while a framework is necessary to ensure and verify the CBDRIS safety for such a safety-critical system. We propose a safety framework for CBDRIS which consists of dynamical process (Standardized control flow) and static process (basic data of a specific station model). Based on the framework and an example station, a unified Petri-net model of CBDRIS is established with GSPN (Generalized Stochastic Petri-Nets) and G-nets (Petri-nets extended with Object-oriented concept).
- 2006-10-19
著者
-
Sato Kazutoshi
Railway Technical Res. Inst. Kokubunji
-
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
-
IWATA Koji
Railway Technical Research Institute
-
FUKUDA Mitsuyoshi
Railway Technical Research Institute
-
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
- 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
- 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
- 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