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

作     者：付伟 FU Wei

作者机构：中国铁道科学研究院通信信号研究所北京100081 

基　　金：中国铁路总公司科研专项基金(J2016X001) 

出 版 物：《铁道标准设计》 (Railway Standard Design)

年 卷 期：2018年第62卷第7期

页      码：164-168页

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

主 题 词：CTCS系统 模型校验 标签转移系统 二乘二取二 

学科分类：08[工学] 082302[082302] 0823[工学-农业工程类] 

D　O　I：10.13238/j.issn.1004-2954.201705270004

馆 藏 号：203296227...