連動装置の安全性仕様と自動検証  [in Japanese] Verification of Railway Interlocking Specification Using Formal Safety Requirements  [in Japanese]

Abstract

駅構内の信号とポイントを制御する連動装置に関する安全性要求仕様を定義し、これに基づく自動検証を行う。安全性要求仕様は線路網のトポロジーから抽出される。一般的な安全性要求を、局所的条件に展開することによって、証明器による自動検証が可能となる。

This paper describes formalization of interlocking safety requirements and automatic verification of interlocking functional specification, Safety requirements of interlocking are expressed by network topology of track. In this approach, general safety requirements are unfolded to local conditional propositions and functional specifications are automaticatically verified by a proof checker.

Journal

Technical report of IEICE. FTS   [List of Volumes]

Technical report of IEICE. FTS 99(490), 29-36, 1999-12-08  [Table of Contents]

The Institute of Electronics, Information and Communication Engineers

Cited by:  4

You must have a user ID to see the cited references.If you already have a user ID, please click "Login" to access the info.New users can click "Sign Up" to register for an user ID.

Preview

Preview

Codes

  • NII Article ID (NAID) :
    110003226539
  • NII NACSIS-CAT ID (NCID) :
    AN10012998
  • Text Lang :
    JPN
  • Article Type :
    Other
  • ISSN :
    09135685
  • NDL Article ID :
    4958594
  • NDL Source Classification :
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No. :
    Z16-940
  • Databases :
    CJPref  NDL  NII-ELS