基于形式化模型开发的计算机联锁软件开发与实现系统

摘要

本发明涉及一种基于形式化模型开发的计算机联锁软件开发与实现系统，包括：联锁软件逻辑模块，用于实现系统的联锁逻辑处理功能，采用SCADE工具进行联锁逻辑功能的建模设计；联锁软件应用接口模块，提供逻辑运算和外部接口信息传输通道，用以实现外部接口各类通信报文数据的解析和打包，同时完成与联锁软件逻辑模块的信息交互；测试模块，用于对模型逻辑设计的进行仿真测试和安全验证。与现有技术相比，本发明的模型可验证且能够自动生成适用于嵌入式操作系统的C语言代码，生成的代码满足一系列的安全性特征等优点。