高级检索 加入收藏
  • 查询稿件
  • 获取最新论文
  • 知晓行业信息
何丽芸, 赵林, 程瑞军. 属性驱动的列车控制系统需求建模与验证[J]. 铁路计算机应用, 2014, 23(2): 1-6.
引用本文: 何丽芸, 赵林, 程瑞军. 属性驱动的列车控制系统需求建模与验证[J]. 铁路计算机应用, 2014, 23(2): 1-6.
shu
HE Liyun%ZHAO Lin%CHENG Ruijun, . Property-driven modeling and verification for requirements of Train Control System[J]. Railway Computer Application, 2014, 23(2): 1-6.
Citation: HE Liyun%ZHAO Lin%CHENG Ruijun, . Property-driven modeling and verification for requirements of Train Control System[J]. Railway Computer Application, 2014, 23(2): 1-6.
shu

属性驱动的列车控制系统需求建模与验证

Property-driven modeling and verification for requirements of Train Control System

    摘要
  • 摘要: 形式化语言越来越多地用来描述列车控制系统需求规范,其精确的语法和语义一方面有助于创建精确的需求模型、消除理解差异,另一方面也为进一步分析验证提供了基础.通过提出一种基于属性的需求分析方法,利用具体的形式化技术来分析需求.首先将由自然语言描述的需求规范转换为属性描述语言(PSL)形式化规范,并通过仿真和博弈分别进行语义检查和可实现性验证,最后通过断言来检验形式化语言所刻画的系统的精确性和完整性.该方法从自然语言形式的需求约束中直接提取相关需求规范,构造形式化模型并进行验证,为需求的早期确认提供了一种新的实用途径.并以CTCS-3级列控系统RBC切换场景为例,说明该方法的有效性.

     

    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献
  • 资源附件(0)

/

返回文章
返回