Specification description and verification of computer interlocking safety based on Event-B
-
摘要: 本文结合具体的站场实例,基于Event-B方法对信号开放、道岔控制、进路解锁等联锁系统关键安全规范进行了形式化模型描述和验证分析,给出了严格的分析结果.工作表明,铁路信号联锁系统是具有复杂时序逻辑的控制系统,Event-B方法适合于该类系统的描述与验证.通过形式化的联锁安全规范描述与验证,可以在系统开发的早期及时发现设计错误或漏洞,有助于提高计算机联锁系统的软件开发质量.
-
-
期刊类型引用(3)
1. 闫正,陈嘉胤,徐井芒,王平,陈嵘,秦艳. 不同车轮踏面与高速60N钢轨道岔静态接触特性研究. 中南大学学报(自然科学版). 2021(04): 1358-1370 . 百度学术
2. 唐平,李永乐,向活跃. 基于灰箱模型的垂向车-桥系统响应极值分布研究. 振动与冲击. 2021(16): 75-80 . 百度学术
3. 杨光,赵豪杰,李杰,陈彦恒. 基于小波分解的工程材料价格组合预测方法. 数学的实践与认识. 2020(04): 69-79 . 百度学术
其他类型引用(6)
计量
- 文章访问数: 45
- HTML全文浏览量: 0
- PDF下载量: 132
- 被引次数: 9