摘要
为了提高二乘二取二系统的安全应用特性,系统的安全相关逻辑在投入使用前必须进行验证。模型检验是验证系统安全属性的有效手段之一。提出基于转移标签系统模型验证系统安全属性的新方法。针对系统的安全需求,利用LTS对系统行为进行建模处理,最后使用LTSA软件对模型的安全属性进行分析和验证,与传统人工验证方法相比,LTS模型产生程序缺陷少64%,同时节省开发工作时间29%。结果表明:该方法有效地实现了对系统属性的安全验证,并对系统的安全设计和开发进行了改进。
In order to improve the safety application level of 2 × 2 out of 2 safety computer system,the safety-related logic should be verified before its normal application. Model verification is one of the effective methods for verifying the safety functions of the system. A new method based on LTS（ labeled transition system） model verification is proposed to verify the system safety properties. LTS method is employed to model the system behavior and the safety properties of the model are analyzed and verified by means of LTSA（ labeled transition system analyzer） software. Compared with the traditional verification method,the program designed by LTS model results in less default by 64% and less development time by29%. The results show that this method is efficient to verify safety properties and improve system design and development.
作者
付伟
FU Wei(Signal and Communication Research Institute,China Academy of Railway Sciences,Beijing100081,China)
出处
《铁道标准设计》
北大核心
2018年第7期164-168,共5页
Railway Standard Design
基金
中国铁路总公司科研专项基金(J2016X001)
关键词
CTCS系统
模型校验
标签转移系统
二乘二取二
Chinese train control system
Model verification
Labeled transition system
Double two out of two
作者简介
付伟（1977-）,男,副研究员,E-mail：fuwei@rails.cn
