文献

J-GLOBAL ID：201702228579555724   整理番号：17A1780214

SafeCapプラットフォームを用いた現代の鉄道信号の安全性の検証【Powered by NICT】

Safety Verification of Modern Railway Signalling with the SafeCap Platform

著者 (2件)： Stankaitis Paulius ,  Iliasov Alexei
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ISSREW  ページ： 153-156  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 近代化旧式国有鉄道システムは,異なるシグナル伝達系とネットワーク地域を創造する実用的な制約のために徐々に行われる予定である。形式的手法は年間の鉄道分野での適用に成功した。しかし不均一鉄道信号のような最新鉄道挑戦は新しいモデリング技術と適切な検証ツールを必要とする支援であろう。SafeCapプラットフォームは設計への鉄道技術者を可能にし,形式的手法の事前知識なしに鉄道網の安全性を形式的に検証目的で開発した。本研究では,ユーザは不均一な鉄道ネットワークを含む新規シグナル伝達システムに関する推論を可能にする既存SafeCapプラットフォームを改善することを目指した。この短い論文では,実用的なが形式的SafeCapアプローチを開発することにおける主要な課題を提示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 国有鉄道 ,  ネットワーク ,  *鉄道信号 ,  *安全性 ,  鉄道網 ,  鉄道技術
準シソーラス用語： 事前知識 ,  近代化 , 【Automatic Indexing@JST】

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： プラットフォーム ,  鉄道 ,  安全性 ,  検証