首页/ 江苏南邮物联网科技园有限公司/ 专利详情

一种基于控制器局域网的信息物理系统的验证方法

基本信息

申请号 CN201410077878.5 申请日 -
公开（公告）号 CN103885864B 公开（公告）日 2016-10-05
申请公布号 CN103885864B 申请公布日 2016-10-05
分类号 G06F11/22(2006.01)I 分类 计算；推算；计数;
发明人 陈志;曾雅芸;岳文静 申请（专利权）人 江苏南邮物联网科技园有限公司
代理机构 南京经纬专利商标代理有限公司 代理人 南京邮电大学
地址 210023 江苏省南京市亚东新城区文苑路9号
法律状态 -

摘要

摘要 一种基于控制器局域网的信息物理系统的验证方法，首先通过建立基于控制器局域网的信息物理系统的验证模型，然后将待验证性质以时序逻辑公式的形式进行规范表示，进而对基于控制器局域网的信息物理系统进行验证。对基于控制器局域网的信息物理系统进行形式化验证和分析时，采用经典模型检验技术对运行于理想环境下的系统进行功能上的正确性验证，同时采用统计模型检验技术对运行于复杂环境中的系统在不同系统规模、不同报文发送/接收失败概率、不同节点失效概率参数下的性能进行分析。本发明能够有效解决基于控制器局域网的信息物理系统验证的规模和实时性问题，有助于在设计和实现基于控制器局域网的信息物理系统过程中增强系统的可靠性。