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

• 作者: 何丽芸 程瑞军 赵林
• 来源期刊: 铁路计算机应用
• 学科: 交通运输
• 关键词: 需求规范 验证 列车控制系统 仿真 可实现性
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 研究与开发
• 页码范围: 1-6
• 页数: 6页
• 分类号: U284.4|TP39
• 字数: 4226字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵林	北京交通大学轨道交通控制与安全国家重点实验室	11	160	8.0	11.0
2	程瑞军	北京交通大学轨道交通控制与安全国家重点实验室	3	14	2.0	3.0
3	何丽芸	北京交通大学轨道交通控制与安全国家重点实验室	2	4	2.0	2.0