Toward development of distributed railway interlocking system (ディペンダブルコンピューティング)
スポンサーリンク
概要
- 論文の詳細を見る
We have put forward a new railway signaling system which is named Component-based Distributed Railway Interlocking System (CBDRIS) for the purpose of improving the reliability, reusability as well as configurability. We also presented the modeling approach with Petri Nets in order to validate the system. In this paper we discuss the simulation and development approach of this system by establishing a simulation system. Initially the system is completed in a mono-computer. Then it can be realized in a computer network, in which each computer is an interlocking device component of CBDRIS. Further, a feasible development strategy of CBDRIS is proposed.
- 2007-11-30
著者
-
Sato Kazutoshi
Railway Technical Res. Inst. Kokubunji
-
Nakamura Hideo
Computer Science Graduate Course Graduate School Of Science And Technology Nihon University
-
Yamamoto Haruo
Railway Technical Research Institute
-
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
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
- 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