電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
高安全性應用開發(fā)環(huán)境（ SCADE）的形式化驗證組件 Design Verifier能夠驗證航空航天領域嵌入式軟件系統(tǒng)的安全性質(zhì)，但不能充分描述擁有復雜時序性質(zhì)的安全需求。為解決該問題，構建一種 SCADE狀態(tài)機的時序性質(zhì)驗證框架，將 SCADE模型轉(zhuǎn)換成№usSMⅤ模型，并將線性時態(tài)邏輯和計算樹邏輯引入 SCADE模型的需求規(guī)范中。分析結(jié)果表明，借助 Nusmv模型檢查器及其驗證結(jié)果可檢驗復雜時序相關的安全性質(zhì)，減少模型設計階段的錯誤，提高系統(tǒng)的安全性和可靠性。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 云系統(tǒng)的安全性增強算法及其研究 4次下載
- 可提高隱私數(shù)據(jù)安全性的可搜索加密方案 10次下載
- 基于度量線性時態(tài)邏輯與安全性綜述 5次下載
- PHP的安全性詳細資料說明 3次下載
- 什么是數(shù)據(jù)庫安全性數(shù)據(jù)庫安全性的詳細資料總結(jié) 6次下載
- 智能連接物聯(lián)網(wǎng)邊緣節(jié)點的安全性分析
- 服務器輔助驗證聚合簽名方案的安全性分析 0次下載
- 基于性質(zhì)的數(shù)據(jù)質(zhì)量綜合評價框架 0次下載
- 多核學習的潛射武器環(huán)境因子安全性預測 0次下載
- 基于有功電流測量節(jié)省電力提高安全性的設計指南 3次下載
- 基于Petri網(wǎng)的安全協(xié)議形式化描述和安全性驗證 18次下載
- 座椅被動安全性仿真分析與結(jié)構參數(shù)化設計
- 軟件安全性測試方法研究
- 智能客戶端應用程序的安全性研究與應用
- linux操作系統(tǒng)的安全性 0次下載
- 車規(guī)級與消費級芯片的可靠性、安全性與成本差異 890次閱讀
- 新能源汽車動力電池常見的一些安全性能試驗及其試驗目的與方法 813次閱讀
- 如何提升SoC的安全性 1.2k次閱讀
- 鋰電池的安全性能測試有哪些 2.4k次閱讀
- 可靠性與安全性 8.2k次閱讀
- 通過SHA-256主/從身份驗證系統(tǒng)實現(xiàn)更高的安全性 1.8k次閱讀
- 不折不扣的安全性 1.2k次閱讀
- UltraSoC 和 ResilTech 攜手以進一步提高汽車系統(tǒng)功能安全性 1.5k次閱讀
- 如何提升三元材料的安全性？ 4.5k次閱讀
- 基于SCADE模型的高安全性嵌入式軟件解決方案設計 3.3k次閱讀
- 保障云應用的安全性的三大方案 1.5k次閱讀
- 如何提高嵌入式Bootloader程序的安全性 6.4k次閱讀
- 影響鋰離子動力電池安全性因素分析 7.9k次閱讀
- DES算法的應用誤區(qū)及安全性分析 1.7w次閱讀
- 嵌入式設計的那些安全性考慮事項 3.4k次閱讀
上傳資料賺積分下載排行
本周
- 1新一代網(wǎng)絡可視化（NPB 2.0）
- 3.40 MB | 1次下載 | 免費
- 2冷柜-電氣控制系統(tǒng)講解
- 13.68 MB | 1次下載 | 10 積分
- 3MDD品牌三極管MMBT3906數(shù)據(jù)手冊
- 2.33 MB | 次下載 | 免費
- 4MDD品牌三極管S9012數(shù)據(jù)手冊
- 2.62 MB | 次下載 | 免費
- 5LAT1218 如何選擇和設置外部晶體適配 BlueNRG-X
- 0.60 MB | 次下載 | 3 積分
- 6LAT1216 Blue NRG-1/2 系列芯片 Flash 操作與 BLE 事件的互斥處理
- 0.89 MB | 次下載 | 3 積分
- 7收音環(huán)繞擴音機 AVR-1507手冊
- 2.50 MB | 次下載 | 免費
- 8MS1000TA 超聲波測量模擬前端芯片技術手冊
- 0.60 MB | 次下載 | 免費
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費
- 2PC5502負載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費
- 5蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 6蘇泊爾DCL6909(即CHK-S009)單芯片電磁爐原理圖資料
- 0.08 MB | 2次下載 | 1 積分
- 7100W準諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
- 8FS8025B USB的PD和OC快充協(xié)議電壓誘騙控制器IC技術手冊
- 1.81 MB | 1次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191439次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評論