...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal on Software Tools for Technology Transfer >Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach
【24h】

Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach

机译：使用正式的需求工程方法为ERTMS / ETCS 3级混合标准建模

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper presents a specification of the hybrid ERTMS/ETCS level 3 standard in the framework of the case study proposed for ABZ2018. The specification is based on methods and tools, developed in the ANR FORMOSE project, for the modeling and formal verification of critical and complex system requirements. The requirements are specified with SysML/KAOS goal diagrams and are automatically translated into B System specifications, in order to obtain the architecture of the formal specification. Domain properties are specified by ontologies with the SysML/KAOS domain modeling language, based on OWL and PLIB. Their automatic translation completes the structural part of the formal specification. The only part of the specification that must be manually completed is the body of events. The construction is incremental, based on refinement mechanisms that exist within the involved methods. Regarding the case study, the formal specification includes seven refinement levels and all proofs have been discharged under the Rodin platform.
机译：本文针对ABZ2018提出的案例研究提出了ERTMS / ETCS 3级混合标准的规范。该规范基于ANR FORMOSE项目中开发的方法和工具，用于关键和复杂系统需求的建模和形式验证。需求由SysML / KAOS目标图指定，并自动转换为B系统规范，以获得正式规范的体系结构。领域属性是通过基于OWML和PLIB的SysML / KAOS领域建模语言由本体指定的。他们的自动翻译完善了正式规范的结构部分。规范中唯一必须手动完成的部分是事件的主体。基于所涉及方法中存在的细化机制，此构造是增量的。关于案例研究，正式规范包括七个细化级别，所有证明均已在Rodin平台下发布。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号