• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Transmission amp; Distribution Conference amp; Exposition: Asia and Pacific, 2009 >Formal requirements specification in safety-critical railway signaling system
【24h】

Formal requirements specification in safety-critical railway signaling system

机译：安全关键铁路信号系统的形式要求规范

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and ‘Statemate MAGNUM’ which is formal method tools using Statechart. Also we applied the proposed method to safety-critical railway signaling systems for the formal requirement specification and analyzed the specification results.
机译：许多关键控制系统是使用形式化方法开发的。开发适用于此类系统的软件时，在软件需求规格说明和验证中采用正式方法将为此类应用程序提供更大的保证。可以使用正式的规范方法来检测被忽略的需求规范的早期错误。还可以完成使用模型检查进行形式验证的检查所有可到达状态的测试和完整验证。在本文中，我们提出了一种折衷方法，将Z（Zed）形式语言与“ Statemate MAGNUM”相结合，后者是使用Statechart的形式方法工具。此外，我们将提出的方法应用于安全关键铁路信号系统的正式需求规范，并分析了规范结果。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号