典型文献
特定车站联锁安全软件形式化验证流程
文献摘要：
特定车站的联锁安全软件因其变量复杂且变量间耦合众多,使得传统测试很难覆盖所有的联锁场景,而形式化验证具有遍历系统各个状态的特点,可以实现联锁所有可能场景的验证.研究了联锁安全软件的形式化验证流程,包括安全需求的提炼、形式化表述,以及安全需求的实例化和验证;通过2组案例分析验证了该流程的有效性.
文献关键词：
特定车站;联锁系统;危害分析;形式化验证;模型检测
中图分类号：
作者姓名：
魏民;刘晓;张文燕;王燕芩
作者机构：
卡斯柯信号有限公司 200071 上海
文献出处：
引用格式：
[1]魏民;刘晓;张文燕;王燕芩-.特定车站联锁安全软件形式化验证流程)[J].铁道通信信号,2022(12):28-31
A类：
特定车站
B类：
站联,安全软件,形式化验证,验证流程,合众,统测,难覆,遍历,安全需求,实例化,分析验证,联锁系统,危害分析,模型检测
AB值：
0.314244
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
