X为了获得更好的用户体验,请使用火狐、谷歌、360浏览器极速模式或IE8及以上版本的浏览器
关于我们 | 帮助中心
欢迎来到天长市科技大市场,请 登录 | 注册
尊敬的 , 欢迎光临!  [会员中心]  [退出登录]
成果 专家 院校 需求
当前位置: 首页 >  科技成果  > 详细页

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

交易价格: 面议

所属行业: 分析仪器

类型: 发明专利

技术成熟度: 正在研发

专利所属地:中国

专利号:CN201410077878.5

交易方式: 完全转让 许可转让 技术入股

联系人: 邱老师

进入空间

所在地: 江苏南京市

服务承诺
产权明晰
资料保密
对所交付的所有资料进行保密
如实描述

技术详细介绍

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

推荐服务:

Copyright  ©  2019    天长市科技大市场    版权所有

地址:滁州高新区经三路

皖ICP备2023004467