A Modeling Approach of Distributed Interlocking System
スポンサーリンク
概要
- 論文の詳細を見る
An approach for modeling Distributed Interlocking System (noted as DIS) with G-nets is introduced. G-nets are extension of Object-oriented petri net, which reduce the model complexity and improve maintenance as well as reusability remarkably. The proposed method also provides support for system design and realization of DIS. In addition, a modeling method considering fault-tolerance is presented. As an illustration, an example interlocking system is presented.
- 社団法人電子情報通信学会の論文
- 2005-12-09
著者
-
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