Petriネットによる構成要素に基づく分散鉄道インターロッキングシステムのモデル化と解析

HEI Xinhong; HEI Xinhong; TAKAHASHI Sei; NAKAMURA Hideo

文献

J-GLOBAL ID：200902235967730261 整理番号：09A0477234

Petriネットによる構成要素に基づく分散鉄道インターロッキングシステムのモデル化と解析

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

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=09A0477234&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=09A0477234&from=J-GLOBAL&jstjournalNo=X0451A") }}

著者 (4件)： , , ,
資料名：
巻： 129 号： 5 ページ： 455-461 (J-STAGE) 発行年： 2009年
JST資料番号： X0451A ISSN： 0913-6339 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：日本 (JPN) 言語：英語 (EN)

構成要素に基づく分散鉄道インターロッキングシステム(CBDRIS)が最近提案された。鉄道インターロッキングシステムの開発時間の短縮と信頼性の向上が期待される。CBDRISのすべてのインターロッキング装置は同じレイヤにあり,集中化インターロッキングコンピュータは存在しない。本文では,CBDRISはPetriネットでモデル化される。我々は機能モジュール,機能モジュールから構成される装置部品,装置部品から成る全体インターロッキングシステムの3層でCBDRISをモデル化する。経路競合と装置競合の確率が経路予約成功の重要な因子であることを考慮して,システム設計と開発にとって有用となるモデル化の結果に基づいて,提案したアプローチによる2つの競合確率と経路予約成功確率の間の関係を解析する。(翻訳著者抄録)

, , , , , , , , ,

信号,保安 , グラフ理論基礎

引用文献 (11件)：

BANCI, M. The Role of Formal Methods in Developing a Distributed Railway Interlocking System. Proceedings of the FORMS/FORMAT 2004, 5th Symposium Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig. 2004
HEI, X. Distributed Interlocking System and Its Safety Verification. the 6th World Congress on Intelligent Control and Automation, Dalian, China, 2006. 2006, 10, 8612-8615
HEI, X. Improving Reliability of Railway Interlocking System with Component-based Technology. Journal of Reliability Engineering Association of Japan. 2006, 28, 8, 557-568
MURATA, T. Petri Nets : Properties, Analysis and Applications. Proceedings of IEEE. 1989, 77, 4, 541-580
DENG, Y. A framework for the modeling and prototyping of distributed information system. International Journal of Software Engineering and Knowledge Engineering. 1991, 2, 3, 203-226

, , , ,

前のページに戻る