• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computers in railways XII: Computer system design and operation in railways and other transit systems >Scenario-based modeling and verification of system requirement specification for the European Train Control System
【24h】

Scenario-based modeling and verification of system requirement specification for the European Train Control System

机译：基于场景的欧洲列车控制系统的建模和系统需求规范的验证

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

摘要

The high quality System Requirement Specification (SRS) is at the heart of the design and development of the European Train Control System level 2 (ETCS L2) with high safety and efficiency. However, the SRS, written in natural language with a shortage of rigorous mathematic foundation, makes it difficult to meet the high quality attributes of SRS, such as correctness, completeness and consistency. In order to tackle the above problems, the integration of a scenario-based model with a formal method, which is recommended to model and verify safety critical system (e.g., train control system), is proposed to improve the quality of the SRS for ETCS L2. First, the relevant operational scenarios are extracted from the SRS, then the corresponding UML sequence diagrams are constructed and finally the sequence diagrams are verified by the formal analysis tool (i.e., NuSMV) through a series transformation rules from UML sequences to NuSMV. The output analysis results facilitate improvement of the SRS qualities. Within the above modeling and verification process, the key mapping relationship is presented to ensure the consistency and traceability between the UML sequence model and the NuSMV specification.
机译：高质量的系统要求规范（SRS）是欧洲火车控制系统2级（ETCS L2）设计和开发的核心，具有很高的安全性和效率。但是，以自然语言编写的SRS缺乏严格的数学基础，因此很难满足SRS的高质量属性，例如正确性，完整性和一致性。为了解决上述问题，建议将基于情景的模型与正式方法相集成，建议对安全关键系统（例如，火车控制系统）进行建模和验证，以提高ETCS的SRS的质量。 L2。首先，从SRS中提取相关的操作场景，然后构建相应的UML序列图，最后通过形式分析工具（即NuSMV）通过从UML序列到NuSMV的一系列转换规则来验证序列图。输出分析结果有助于提高SRS的质量。在上述建模和验证过程中，提出了关键映射关系，以确保UML序列模型与NuSMV规范之间的一致性和可追溯性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号