基于标签转移系统的二乘二取二系统的形式化验证研究

• 作者: 付伟
• 来源期刊: 铁道标准设计
• 学科: 交通运输
• 关键词: CTCS系统 模型校验 标签转移系统 二乘二取二
• 年，卷（期）: 2018,（7）
• 所属期刊栏目: 通信/信号
• 页码范围: 164-168
• 页数: 5页
• 分类号: U284.3
• 字数: 3057字
• 语种: 中文
• DOI: 10.13238/j.issn.1004-2954.201705270004

摘要

为了提高二乘二取二系统的安全应用特性,系统的安全相关逻辑在投入使用前必须进行验证.模型检验是验证系统安全属性的有效手段之一.提出基于转移标签系统模型验证系统安全属性的新方法.针对系统的安全需求,利用LTS对系统行为进行建模处理,最后使用LTSA软件对模型的安全属性进行分析和验证,与传统人工验证方法相比,LTS模型产生程序缺陷少64％,同时节省开发工作时间29％.结果表明:该方法有效地实现了对系统属性的安全验证,并对系统的安全设计和开发进行了改进.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	付伟	中国铁道科学研究院通信信号研究所	10	12	2.0	3.0