摘要
为保证列车测速定位软件的安全性,研究了测速定位原理,提出一种新的测速定位模型,在此基础上引入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
出处
《计算机应用研究》
CSCD
北大核心
2013年第10期3044-3047,共4页
Application Research of Computers
基金
铁道部科技研究开发计划项目(2012X007-D)
