合肥金星智控科技股份有限公司
宣传

位置:中冶有色 >

有色技术频道 >

> 失效分析技术

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

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

727   编辑:管理员   来源:中冶有色技术网  
2023-03-19 09:00:38
一种基于控制器局域网的信息物理系统的验证方法,首先通过建立基于控制器局域网的信息物理系统的验证模型,然后将待验证性质以时序逻辑公式的形式进行规范表示,进而对基于控制器局域网的信息物理系统进行验证。对基于控制器局域网的信息物理系统进行形式化验证和分析时,采用经典模型检验技术对运行于理想环境下的系统进行功能上的正确性验证,同时采用统计模型检验技术对运行于复杂环境中的系统在不同系统规模、不同报文发送/接收失败概率、不同节点失效概率参数下的性能进行分析。本发明能够有效解决基于控制器局域网的信息物理系统验证的规模和实时性问题,有助于在设计和实现基于控制器局域网的信息物理系统过程中增强系统的可靠性。
声明:
“基于控制器局域网的信息物理系统的验证方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)
分享 0
         
举报 0
收藏 0
反对 0
点赞 0
标签:
失效分析
全国热门有色金属技术推荐
展开更多 +

 

中冶有色技术平台微信公众号
了解更多信息请您扫码关注官方微信
中冶有色技术平台微信公众号中冶有色技术平台

最新更新技术

报名参会
更多+

报告下载

2024退役新能源器件循环利用技术交流会
推广

热门技术
更多+

衡水宏运压滤机有限公司
宣传
环磨科技控股(集团)有限公司
宣传

发布

在线客服

公众号

电话

顶部
咨询电话:
010-88793500-807
专利人/作者信息登记