电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
信息-物理融合系统是一种新型嵌入式系统计算模式.它集成了控制计算过程和受控对象,二者相互影响并有机结合.随着信息技术在现实世界中更加广泛、深入的应用,智能化程度不断提升,在具有信息-物理紧密耦合特点的嵌入式系统中,嵌入式控制软件的功能比重急剧上升,作用更加突出.作为安全攸关的系统,需要引入形式化验证方法来保证嵌入式控制应用软件的安全性.基于自动机理论建立统一的系统验证模型,并针对系统的可达性、安全性(safety)和活性(liveness)等属性要求,提出了对该模型进行形式化验证的算法:基于有界模型检验方法,基于可达性将对系统模型的相关属性验证问题转换为可满足性判定问题.将活性转换为 Büchi 自动机,并基于四值语义进行判断.在求解过程中,通过偏序规约等手段化简了问题求解的规模,提高了可验证系统的规模.另外,结合协同仿真技术,灵活配置验证的场景,提高验证的可用性.实验结果表明,结合仿真,形式化协同验证方法可以有效地对系统进行验证.
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于单片机的电阻电容测量应用程序 114次下载
- 如何使用DTK开发应用程序？ 3次下载
- 颤振试验应用程序资源下载 7次下载
- 继电器M掉电测试应用程序下载 13次下载
- 电机正反转互锁控制应用程序源码下载 42次下载
- matlab应用程序及源代码下载 35次下载
- 生产线计数器控制应用程序源代码下载 27次下载
- Visual C++和MFC创建的应用程序基础知识 0次下载
- 无线遥控应用程序与仿真 15次下载
- 最新的十六进制AES加密算法验证工具应用程序免费下载 20次下载
- altium designer 17.1.6应用程序免费下载下载 789次下载
- 发光微器件应用程序 4次下载
- AN1292与电机控制应用程序框架对比 2次下载
- 面向CPS的自适应统计模型检测 1次下载
- 用Delphi实现基于SAPI的电脑语音控制应用程序
- SEW-MOVIPRO启动应用程序配置程序 605次阅读
- PreEmptiveProtection：全面的移动应用程序保护 529次阅读
- 如何使您更好地进行应用程序安全测试 539次阅读
- 如何实现单车智能与V2X融合协同控制功能研究与验证？ 947次阅读
- 怎么使用uboot引导应用程序？ 1360次阅读
- 如何通过网络应用程序创建可控制的变色RGB LED氛围灯 2219次阅读
- DPU编译应用程序的不同方法 1579次阅读
- 浅谈RAM 执行应用程序 3060次阅读
- 基于指令级模拟器加逻辑仿真器实现协同验证环境的搭建 2534次阅读
- 基于使用手机上的应用程序构建电动滑板 2402次阅读
- 利用Android应用程序进行智能灯泡的无线控制方案 3939次阅读
- 基于HarmonyOS Player类实现的应用程序——Codelab技术 1878次阅读
- HarmonyOS应用程序Ability的作用 2391次阅读
- 应用程序安全怎样来提供保障 1145次阅读
- 利用OPC实现VC应用程序与PLC的数据交换 4831次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论