一区二区三区三上|欧美在线视频五区|国产午夜无码在线观看视频|亚洲国产裸体网站|无码成年人影视|亚洲AV亚洲AV|成人开心激情五月|欧美性爱内射视频|超碰人人干人人上|一区二区无码三区亚洲人区久久精品

電子發(fā)燒友App

硬聲App

搜索歷史

清空
搜索熱詞
      0
      • 聊天消息
      • 系統(tǒng)消息
      • 評(píng)論與回復(fù)
      VIP于 到期 續(xù)費(fèi)
      登錄后你可以
      • 下載海量資料
      • 學(xué)習(xí)在線課程
      • 觀看技術(shù)視頻
      • 寫文章/發(fā)帖/加入社區(qū)
      會(huì)員中心
      創(chuàng)作中心
      發(fā)布
      創(chuàng)作活動(dòng)

      完善資料讓更多小伙伴認(rèn)識(shí)你，還能領(lǐng)取20積分哦，立即完善>

      3天內(nèi)不再提示
      創(chuàng)作
      電子發(fā)燒友網(wǎng)>電子資料下載>電子資料>高安全性應(yīng)用開發(fā)環(huán)境的時(shí)序性質(zhì)驗(yàn)證框架

      高安全性應(yīng)用開發(fā)環(huán)境的時(shí)序性質(zhì)驗(yàn)證框架

      2021-05-28 | pdf | 2.04 MB | 次下載 | 免費(fèi)

      資料介紹

      　　高安全性應(yīng)用開發(fā)環(huán)境（ SCADE）的形式化驗(yàn)證組件 Design Verifier能夠驗(yàn)證航空航天領(lǐng)域嵌入式軟件系統(tǒng)的安全性質(zhì)，但不能充分描述擁有復(fù)雜時(shí)序性質(zhì)的安全需求。為解決該問(wèn)題，構(gòu)建一種 SCADE狀態(tài)機(jī)的時(shí)序性質(zhì)驗(yàn)證框架，將 SCADE模型轉(zhuǎn)換成№usSMⅤ模型，并將線性時(shí)態(tài)邏輯和計(jì)算樹邏輯引入 SCADE模型的需求規(guī)范中。分析結(jié)果表明，借助 Nusmv模型檢查器及其驗(yàn)證結(jié)果可檢驗(yàn)復(fù)雜時(shí)序相關(guān)的安全性質(zhì)，減少模型設(shè)計(jì)階段的錯(cuò)誤，提高系統(tǒng)的安全性和可靠性。

      下載該資料的人也在下載 下載該資料的人還在閱讀
      更多 >

      評(píng)論

      查看更多

      下載排行

      本周

      1. 1DD3118電路圖紙資料
      2. 0.08 MB   |  1次下載  |  免費(fèi)
      3. 2AD庫(kù)封裝庫(kù)安裝教程
      4. 0.49 MB   |  1次下載  |  免費(fèi)
      5. 3PC6206 300mA低功耗低壓差線性穩(wěn)壓器中文資料
      6. 1.12 MB   |  1次下載  |  免費(fèi)
      7. 4網(wǎng)絡(luò)安全從業(yè)者入門指南
      8. 2.91 MB   |  1次下載  |  免費(fèi)
      9. 5DS-CS3A P00-CN-V3
      10. 618.05 KB  |  1次下載  |  免費(fèi)
      11. 6海川SM5701規(guī)格書
      12. 1.48 MB  |  次下載  |  免費(fèi)
      13. 7H20PR5電磁爐IGBT功率管規(guī)格書
      14. 1.68 MB   |  次下載  |  1 積分
      15. 8IP防護(hù)等級(jí)說(shuō)明
      16. 0.08 MB   |  次下載  |  免費(fèi)

      本月

      1. 1貼片三極管上的印字與真實(shí)名稱的對(duì)照表詳細(xì)說(shuō)明
      2. 0.50 MB   |  103次下載  |  1 積分
      3. 2涂鴉各WiFi模塊原理圖加PCB封裝
      4. 11.75 MB   |  89次下載  |  1 積分
      5. 3錦銳科技CA51F2 SDK開發(fā)包
      6. 24.06 MB   |  43次下載  |  1 積分
      7. 4錦銳CA51F005 SDK開發(fā)包
      8. 19.47 MB   |  19次下載  |  1 積分
      9. 5PCB的EMC設(shè)計(jì)指南
      10. 2.47 MB   |  16次下載  |  1 積分
      11. 6HC05藍(lán)牙原理圖加PCB
      12. 15.76 MB   |  13次下載  |  1 積分
      13. 7802.11_Wireless_Networks
      14. 4.17 MB   |  12次下載  |  免費(fèi)
      15. 8蘋果iphone 11電路原理圖
      16. 4.98 MB   |  6次下載  |  2 積分

      總榜

      1. 1matlab軟件下載入口
      2. 未知  |  935127次下載  |  10 積分
      3. 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
      4. 1.48MB  |  420064次下載  |  10 積分
      5. 3Altium DXP2002下載入口
      6. 未知  |  233089次下載  |  10 積分
      7. 4電路仿真軟件multisim 10.0免費(fèi)下載
      8. 340992  |  191390次下載  |  10 積分
      9. 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
      10. 158M  |  183342次下載  |  10 積分
      11. 6labview8.5下載
      12. 未知  |  81588次下載  |  10 積分
      13. 7Keil工具M(jìn)DK-Arm免費(fèi)下載
      14. 0.02 MB  |  73815次下載  |  10 積分
      15. 8LabVIEW 8.6下載
      16. 未知  |  65989次下載  |  10 積分