電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
信息-物理融合系統是一種新型嵌入式系統計算模式.它集成了控制計算過程和受控對象,二者相互影響并有機結合.隨著信息技術在現實世界中更加廣泛、深入的應用,智能化程度不斷提升,在具有信息-物理緊密耦合特點的嵌入式系統中,嵌入式控制軟件的功能比重急劇上升,作用更加突出.作為安全攸關的系統,需要引入形式化驗證方法來保證嵌入式控制應用軟件的安全性.基于自動機理論建立統一的系統驗證模型,并針對系統的可達性、安全性(safety)和活性(liveness)等屬性要求,提出了對該模型進行形式化驗證的算法:基于有界模型檢驗方法,基于可達性將對系統模型的相關屬性驗證問題轉換為可滿足性判定問題.將活性轉換為 Büchi 自動機,并基于四值語義進行判斷.在求解過程中,通過偏序規約等手段化簡了問題求解的規模,提高了可驗證系統的規模.另外,結合協同仿真技術,靈活配置驗證的場景,提高驗證的可用性.實驗結果表明,結合仿真,形式化協同驗證方法可以有效地對系統進行驗證.?
?
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于单片机的电阻电容测量应用程序122次下载
- 如何使用DTK开发应用程序？3次下载
- 颤振试验应用程序资源下载7次下载
- 继电器M掉电测试应用程序下载13次下载
- 电机正反转互锁控制应用程序源码下载42次下载
- matlab应用程序及源代码下载36次下载
- 生产线计数器控制应用程序源代码下载27次下载
- Visual C++和MFC创建的应用程序基础知识0次下载
- 无线遥控应用程序与仿真15次下载
- 最新的十六进制AES加密算法验证工具应用程序免费下载20次下载
- altium designer 17.1.6应用程序免费下载下载813次下载
- 发光微器件应用程序4次下载
- AN1292与电机控制应用程序框架对比2次下载
- 面向CPS的自适应统计模型检测1次下载
- 用Delphi实现基于SAPI的电脑语音控制应用程序43次下载
- AWTK-WEB 快速入门(1) - C 语言应用程序547次阅读
- SEW-MOVIPRO启动应用程序配置程序1052次阅读
- PreEmptiveProtection：全面的移动应用程序保护818次阅读
- 如何使您更好地进行应用程序安全测试830次阅读
- 如何实现单车智能与V2X融合协同控制功能研究与验证？1428次阅读
- 怎么使用uboot引导应用程序？1746次阅读
- 如何通过网络应用程序创建可控制的变色RGB LED氛围灯2771次阅读
- DPU编译应用程序的不同方法1942次阅读
- 浅谈RAM 执行应用程序3420次阅读
- 基于指令级模拟器加逻辑仿真器实现协同验证环境的搭建2914次阅读
- 基于使用手机上的应用程序构建电动滑板2716次阅读
- 利用Android应用程序进行智能灯泡的无线控制方案4513次阅读
- 基于HarmonyOS Player类实现的应用程序——Codelab技术2138次阅读
- 应用程序安全怎样来提供保障1310次阅读
- 利用OPC实现VC应用程序与PLC的数据交换4941次阅读
上傳資料賺積分 广告![]()
下載排行
本周
- 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 積分
工商網監
評論