4-1 Modeling and performance evaluation strategy of component-based distributed railway interlocking system
スポンサーリンク
概要
- 論文の詳細を見る
Component-based distributed railway interlocking system (CBDRIS) introduces component concept into railway signal system in order to curtail human errors brought during software development process of traditional interlocking system. We show a strategy based on Petri-nets to model and evaluate component-based distributed interlocking system. The modeling approach is illustrated by using a route request process on a signal device component in an example station.
- 2006-10-20
著者
-
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
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