[发明专利]基于形式化模型开发的计算机联锁软件开发与实现系统在审
| 申请号： | 201610813892.6 | 申请日： | 2016-09-09 |
| 公开（公告）号： | CN107808020A | 公开（公告）日： | 2018-03-16 |
| 发明（设计）人： | 王燕芩;徐军强;朱迎春;马雯 | 申请（专利权）人： | 卡斯柯信号有限公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50;G06F11/36 |
| 代理公司： | 上海科盛知识产权代理有限公司31225 | 代理人： | 应小波 |
| 地址： | 200070 上海市闸北区*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种基于形式化模型开发的计算机联锁软件开发与实现系统，包括联锁软件逻辑模块，用于实现系统的联锁逻辑处理功能，采用SCADE工具进行联锁逻辑功能的建模设计；联锁软件应用接口模块，提供逻辑运算和外部接口信息传输通道，用以实现外部接口各类通信报文数据的解析和打包，同时完成与联锁软件逻辑模块的信息交互；测试模块，用于对模型逻辑设计的进行仿真测试和安全验证。与现有技术相比，本发明的模型可验证且能够自动生成适用于嵌入式操作系统的C语言代码，生成的代码满足一系列的安全性特征等优点。 | ||
| 搜索关键词： | 基于 形式化 模型 开发 计算机 联锁 软件 实现 系统 | ||
【主权项】：
一种基于形式化模型开发的计算机联锁软件开发与实现系统，其特征在于，包括：联锁软件逻辑模块，用于实现系统的联锁逻辑处理功能，采用SCADE工具进行联锁逻辑功能的建模设计；联锁软件应用接口模块，提供逻辑运算和外部接口信息传输通道，用以实现外部接口各类通信报文数据的解析和打包，同时完成与联锁软件逻辑模块的信息交互；测试模块，用于对模型逻辑设计的进行仿真测试和安全验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于卡斯柯信号有限公司，未经卡斯柯信号有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610813892.6/，转载请声明来源钻瓜专利网。
