A development strategy for component-based distributed railway interlocking system
スポンサーリンク
概要
- 論文の詳細を見る
Component-based distributed railway interlocking system (CBDRIS) is a system applying component-based technology to developing railway signal control systems. The CBDRIS improves reusability and configurability of railway interlocking system, curtails development period and lowers the update cost of railway interlocking system. We propose a development strategy for CBDRIS by separating the development process into dynamical process (Standardizing control flow of interlocking device components) and static process (Converting current interlocking table of a specific station to a unified format for CBDRIS). The dynamic development process is designed and modeled with G-nets (Petri-nets extended with Object-oriented concept), and realized with C++, an object-oriented language, while the static development process can be designed and verified with formal methods, and a case study for the CBDRIS is illustrated with GSPN (Generalized Stochastic Petri-Nets).
- 2006-12-01
著者
-
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