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

Safety software of speed and position determination system based on SCADE and QNX platform

作　　者：李耀[1] 陈荣武[1] 谢刚[1] 

机构地区：[1]西南交通大学信息科学与技术学院,成都610031

出　　处：《计算机应用研究》2013年第10期3044-3047,共4页Application Research of Computers

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

摘　　要：为保证列车测速定位软件的安全性,研究了测速定位原理,提出一种新的测速定位模型,在此基础上引入SCADE开发方式,建立测速定位软件模型,并利用SCADE的形式化验证技术保证软件模型的安全性。最后将安全软件导入QNX系统平台测试运行,通过QNX技术分析与实践表明软件完全满足测速定位的技术和安全性要求。To ensure the safety of software of speed and position determination system, this paper studied its principle and es- tablished a new speed and position determination model; on this basis, it introduced SCADE development method and created the system software model. Additionally, it used the SCADE formal verification technology to validate the safety of the model. Finally, the software was introduced into QNX platform to test. Through the analysis and practice of QNX technology, the re- sult shows that the software completely satisfies the requirement of the technology and safety of speed and position determination

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]