Design and safety assurance of decentralized interlocking system (安全性)
スポンサーリンク
概要
- 論文の詳細を見る
Distributed railway interlocking system(DRIS) is a new system where all interlocking devices are intelligent and connected via a ring network. The main differences from current interlocking system are that there is no centralized computer processing interlocking logic and all field devices are at the same logic layer. For such a safety-critical system, the specification design and safety assurance are vital steps. In this paper the design and safety assurance approach with Petri Nets are presented. The top-down and bottom-up approaches are used. The designed system model is validated by constructing the reachability graph of Petri Nets. Further, the net is modified by considering fail-safe principle of DRIS.
- 社団法人電子情報通信学会の論文
- 2007-07-18
著者
-
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
-
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
- 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