Modeling and Analyzing Component-Based Distributed Railway Interlocking System with Petri Nets

スポンサーリンク

概要

• 論文の詳細を見る

• Component-based Distributed Railway Interlocking System (CBDRIS) was presented recently. It is expected to reduce the development time and improve the reliability of railway interlocking systems. All interlocking devices in CBDRIS are at the same layer and there is no centralized interlocking computer. In this paper the CBDRIS is modeled with Petri Nets. We model CBDRIS in three layers: functional modules, device components which consist of functional modules, and the whole interlocking system which comprises of the device components. Considering route conflict and device conflict probabilities are key factors to route reservation success, we analyze the relations between the two conflict probabilities and route reservation success probability with the proposed approach and based on the modeling results, which is useful for system design and development.

• 社団法人 電気学会の論文
• 2009-05-01

著者

• Nakamura Hideo

  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

  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

  Computer Science Graduate Course Graduate School Of Science And 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

スポンサーリンク