投稿须知
    《铁道标准设计》月刊是中国铁路行业出版较早的科学技术期刊,被评为北大中文核心期刊、中国科技核心期刊、武大RCCSE核心期刊,并被众多有影响的大型数据库收录,2018年被日本科学技术振兴机构数据库(JST)收录。在广大作者、读者和审稿专家的厚爱与支持下,刊物紧密围绕我国 ...

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

作者: 付伟

关键词: CTCS系统 模型校验 标签转移系统 二乘二取二

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


上一篇: 城际铁路防止防淹门误动作对策研究
下一篇: 基于GOOSE的现代地铁环网全面保护方案

版权所有 2014 中铁工程设计咨询集团有限公司 All rights reserved 京ICP备10006696号
Copyright © China Railway Engineering Consultants Group Co.,Ltd