电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
信息-物理融合系统是一种新型嵌入式系统计算模式.它集成了控制计算过程和受控对象,二者相互影响并有机结合.随着信息技术在现实世界中更加广泛、深入的应用,智能化程度不断提升,在具有信息-物理紧密耦合特点的嵌入式系统中,嵌入式控制软件的功能比重急剧上升,作用更加突出.作为安全攸关的系统,需要引入形式化验证方法来保证嵌入式控制应用软件的安全性.基于自动机理论建立统一的系统验证模型,并针对系统的可达性、安全性(safety)和活性(liveness)等属性要求,提出了对该模型进行形式化验证的算法:基于有界模型检验方法,基于可达性将对系统模型的相关属性验证问题转换为可满足性判定问题.将活性转换为 Büchi 自动机,并基于四值语义进行判断.在求解过程中,通过偏序规约等手段化简了问题求解的规模,提高了可验证系统的规模.另外,结合协同仿真技术,灵活配置验证的场景,提高验证的可用性.实验结果表明,结合仿真,形式化协同验证方法可以有效地对系统进行验证.
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于单片机的电阻电容测量应用程序 121次下载
- 如何使用DTK开发应用程序？ 3次下载
- 颤振试验应用程序资源下载 7次下载
- 继电器M掉电测试应用程序下载 13次下载
- 电机正反转互锁控制应用程序源码下载 42次下载
- matlab应用程序及源代码下载 36次下载
- 生产线计数器控制应用程序源代码下载 27次下载
- Visual C++和MFC创建的应用程序基础知识 0次下载
- 无线遥控应用程序与仿真 15次下载
- 最新的十六进制AES加密算法验证工具应用程序免费下载 20次下载
- altium designer 17.1.6应用程序免费下载下载 805次下载
- 发光微器件应用程序 4次下载
- AN1292与电机控制应用程序框架对比 2次下载
- 面向CPS的自适应统计模型检测 1次下载
- 用Delphi实现基于SAPI的电脑语音控制应用程序
- AWTK-WEB 快速入门(1) - C 语言应用程序 257次阅读
- PreEmptiveProtection：全面的移动应用程序保护 683次阅读
- 如何使您更好地进行应用程序安全测试 703次阅读
- 如何实现单车智能与V2X融合协同控制功能研究与验证？ 1206次阅读
- 怎么使用uboot引导应用程序？ 1545次阅读
- 如何通过网络应用程序创建可控制的变色RGB LED氛围灯 2509次阅读
- DPU编译应用程序的不同方法 1768次阅读
- 浅谈RAM 执行应用程序 3262次阅读
- 基于指令级模拟器加逻辑仿真器实现协同验证环境的搭建 2736次阅读
- 基于使用手机上的应用程序构建电动滑板 2564次阅读
- 利用Android应用程序进行智能灯泡的无线控制方案 4229次阅读
- 基于HarmonyOS Player类实现的应用程序——Codelab技术 2001次阅读
- HarmonyOS应用程序Ability的作用 2573次阅读
- 应用程序安全怎样来提供保障 1230次阅读
- 利用OPC实现VC应用程序与PLC的数据交换 4882次阅读
上传资料赚积分下载排行
本周
- 1DC电源插座图纸
- 0.67 MB | 2次下载 | 免费
- 2AN158 GD32VW553 Wi-Fi开发指南
- 1.51MB | 2次下载 | 免费
- 3AN148 GD32VW553射频硬件开发指南
- 2.07MB | 1次下载 | 免费
- 4AN111-LTC3219用户指南
- 84.32KB | 次下载 | 免费
- 5AN153-用于电源系统管理的Linduino
- 1.38MB | 次下载 | 免费
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下载 | 免费
- 7SM2018E 支持可控硅调光线性恒流控制芯片
- 402.24 KB | 次下载 | 免费
- 8AN-1308: 电流检测放大器共模阶跃响应
- 545.42KB | 次下载 | 免费
本月
- 1ADI高性能电源管理解决方案
- 2.43 MB | 450次下载 | 免费
- 2免费开源CC3D飞控资料（电路图&PCB源文件、BOM、
- 5.67 MB | 138次下载 | 1 积分
- 3基于STM32单片机智能手环心率计步器体温显示设计
- 0.10 MB | 130次下载 | 免费
- 4使用单片机实现七人表决器的程序和仿真资料免费下载
- 2.96 MB | 44次下载 | 免费
- 53314A函数发生器维修手册
- 16.30 MB | 31次下载 | 免费
- 6美的电磁炉维修手册大全
- 1.56 MB | 24次下载 | 5 积分
- 7如何正确测试电源的纹波
- 0.36 MB | 17次下载 | 免费
- 8感应笔电路图
- 0.06 MB | 10次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935121次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420062次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233088次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73810次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65988次下载 | 10 积分
工商网监
评论