文件名称：论文研究-基于SCADE与QNX平台的列车测速定位安全软件.pdf
文件大小：942KB
文件格式：PDF
更新时间：2022-08-11 17:12:27
测速定位,系统建模,安全软件,高安全性应用开发环境,形式化验证,QNX
为保证列车测速定位软件的安全性, 研究了测速定位原理, 提出一种新的测速定位模型, 在此基础上引入SCADE开发方式, 建立测速定位软件模型, 并利用SCADE的形式化验证技术保证软件模型的安全性。最后将安全软件导入QNX系统平台测试运行, 通过QNX技术分析与实践表明软件完全满足测速定位的技术和安全性要求。