基于SCADE与QNX平台的列车测速定位安全软件

摘要：

为保证列车测速定位软件的安全性, 研究了测速定位原理, 提出一种新的测速定位模型, 在此基础上引入SCADE开发方式, 建立测速定位软件模型, 并利用SCADE的形式化验证技术保证软件模型的安全性。最后将安全软件导入QNX系统平台测试运行, 通过QNX技术分析与实践表明软件完全满足测速定位的技术和安全性要求。

关键词：测速定位、系统建模、安全软件、高安全性应用开发环境、形式化验证、QNX

所属期刊栏目：30

分类号：TP311.5(计算技术、计算机技术)

资助基金：铁道部科技研究开发计划项目2012X007-D

在线出版日期：2013-11-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：3044-3047