文献

J-GLOBAL ID：201802213290070790   整理番号：18A1908990

列車連動システムのPetriネット表現のモデル検査に基づく安全性検証【JST・京大機械翻訳】

Model Checking-based Safety Verification of a Petri Net Representation of Train Interlocking Systems

著者 (5件)： Aristyo B. (Institut Teknologi Bandung, Instrumentation and Control Research Group, Bandung, Indonesia) ,  Pradityo K. (Institut Teknologi Bandung, Instrumentation and Control Research Group, Bandung, Indonesia) ,  Tamba T.A. (Dept. of Electrical Engineering (Mechatronics), Parahyangan Catholic University, Bandung, Indonesia) ,  Nazaruddin Y.Y. (Institut Teknologi Bandung, Instrumentation and Control Research Group, Bandung, Indonesia) ,  Widyotriatmo A. (Institut Teknologi Bandung, Instrumentation and Control Research Group, Bandung, Indonesia)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： SICE  ページ： 392-397  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,モデル検査技術に基づく鉄道連動システムモデルの安全性検証のための形式的方法の実装について述べた。提案した方法では,時間アークペトリネットを用いて連動システムのモデルを構築し,計算ツリー論理式として安全仕様を表現した。次に,これらのモデルと仕様をTAPAALモデルチェッカーに用いて,安全性検証作業のモデル検査を実行した。シミュレーション結果を提示して,提案した検証方法の利点を例示した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *安全性 ,  システムモデル ,  アーク放電 ,  *Petriネット ,  *モデル検査 ,  シミュレーション
準シソーラス用語： 論理式 ,  モデル検査技術 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (7件)： 列車 ,  連動 ,  Petriネット ,  表現 ,  モデル検査 ,  安全性 ,  検証