形式化验证在轨道交通领域的应用

• 作者: 于文涛
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 轨道交通 形式化验证 形式化建模 形式化方法
• 年，卷（期）: 2018,（5）
• 页码范围: 263-264
• 页数: 2页
• 分类号: TP301

摘要

随着轨道交通跨越式发展,越来越多的现代科技、国防和国民经济领域依赖轨道交通。轨道交通的安全性和可靠性成为国家和人民关注的重点。由于轨道交通领域的特殊性,传统的模拟和测试方法不能保证软件和硬件的可靠性。形式化方法可以保证从软件需求到软件编码全过程的逻辑一致性。最近几年,工程和学术界广泛使用形式化验证来对软件进行建模。该文介绍了形式化验证在轨道交通领域的应用,这包括软件需求、设计的形式化描述和软件的形式化建模。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	于文涛	郑州铁路职业技术学院机车车辆学院	26	58	4.0	6.0