文献

J-GLOBAL ID：200902250377309462   整理番号：05A1024627

鉄道信号システムの連動装置の形式的検証向けモデル化と検証環境構築

Modeling Railway Interlocking Systems for Formal Verification and Development of a Formal Verification Environment

著者 (4件)： 川村正 (三菱電機 人材開発セ) ,  藤井英明 (三菱電機 伊丹製作所) ,  土田勝紀 (三菱電機 伊丹製作所) ,  高橋和子 (関西学院大 理工)
資料名： 電子情報通信学会論文誌 D-1  (IEICE Transactions on Information and Systems, Pt.1 (Japanese Edition))
巻： J88-D-1  号： 12  ページ： 1727-1739  発行年： 2005年12月01日 
JST資料番号： S0757B  ISSN： 0915-1915  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 鉄道信号システムは,列車の位置検知と信号機と転てつ器の動作の...

シソーラス用語： *鉄道信号 ,...
準シソーラス用語： モデル検証

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=05A1024627&from=J-GLOBAL&jstjournalNo=S0757B") }}

分類 (1件)： 信号,保安  (TC01040Y)

引用文献 (18件)：

• BERARD, B. Systems and Software Verification. 1999
• BERNARDESCHI, C. A formal verification environment for railway signaling system design. Formal Method in System Design. 1998, 12, 139-161
• BORALV, A. Case study : Formal verification of a computerized railway interlocking. Formal Aspect of Computing. 1998, 10, 338-360
• CAVADA, R. NuSMV2.1 User Manual. http://nusmv.irs.itc.it/
• CLARKE, E. M. Design and synthesis of synchronization skeletons using branching time temporal logic. Logic of Programs : Workshop. 1981

タイトルに関連する用語 (8件)： 鉄道 ,  信号システム ,  連動装置 ,  形式的検証 ,  モデル化 ,  検証 ,  環境 ,  構築