資料介紹
架構分析與設計語言(AADL)是一種用于描述復雜嵌入式系統(tǒng)體系架構的建模語言,被廣泛用于安全關鍵系統(tǒng)建模與驗證。AADL通過行為附件以狀態(tài)機的形弌對鉏件的內(nèi)部行汋建模。工業(yè)界中的復雜系統(tǒng)常使用層次自動機描述組件的功能行為,而行為附件中沒有表達層次自動機的機制。針對這一問題,提出了AADL行為附件的層次化擴展——HBA。首先給出了HBA的形式語法,然后定義了HBA的操作語義。提出了HBA的元模型,并在 OSATE環(huán)境中實現(xiàn)其文本和圖形化編輯器。為了便于形式化驗證,給出了HBA到時間自動機(TA)的轉換規(guī)則,并基于模型檢測工具 UPPAAL進行形式化驗證。最后,給岀一個案例研究來驗證所提方法的有效性。
- 運放電路綜述之四種恒流源電路分析 66次下載
- 大功率LED正向電壓與溫度變化研究綜述 5次下載
- 機器人操作系統(tǒng)EtherCAT技術研究綜述 1次下載
- LLC電路設計原理及電路失效分析綜述 150次下載
- EMC整改案例參考分析綜述 68次下載
- 繼電保護用開關電源的故障分析及措施綜述 14次下載
- 軍用Ad Hoc網(wǎng)絡分層體系架構及安全協(xié)議綜述 8次下載
- 基于COTS的宇航計算單元冗余架構綜述 2934次下載
- 智能農(nóng)業(yè)除草機器人研究分析綜述 17次下載
- 微服務軟件架構應用研究綜述 2次下載
- Prel語法與C語言語法的異同綜述 6次下載
- 基于AADL的自主無人系統(tǒng)可成長框架綜述 3次下載
- 基于多媒體社會事件的分析研究綜述 18次下載
- 視覺問答與對話任務研究綜述 10次下載
- 手語識別、翻譯及生成研究綜述 25次下載
- 自然語言處理前饋網(wǎng)絡綜述 162次閱讀
- Transformer架構在自然語言處理中的應用 489次閱讀
- NLP領域的語言偏置問題分析 347次閱讀
- 智能網(wǎng)聯(lián)汽車多域電子電氣架構技術研究 971次閱讀
- 5G-A通感融合網(wǎng)絡架構及演進研究 2973次閱讀
- ?綜述:基于類酶材料的微流控技術在生物分析方面的應用 855次閱讀
- 汽車電子電氣架構設計中控制器融合的分析和參考案例 2045次閱讀
- 視覺語言導航領域任務、方法和未來方向的綜述 3507次閱讀
- 基于架構分析與設計語言滿足嵌入式軟件系統(tǒng)的設計要求 1730次閱讀
- 橋接視覺與語言的研究綜述 2541次閱讀
- 超聲系統(tǒng)的信號鏈設計注意事項 2395次閱讀
- 自然語言處理研究的基本問題及發(fā)展趨勢 8453次閱讀
- 4G和5G融合網(wǎng)絡部署架構研究的詳細資料概述 5913次閱讀
- 分析、數(shù)據(jù)科學和機器學習平臺最熱語言_Python 1745次閱讀
- 從語言學到深度學習NLP,一文概述自然語言處理 6262次閱讀
下載排行
本周
- 1FS4059B帶NTC升壓型兩節(jié)鋰電池充電管理IC數(shù)據(jù)手冊
- 3.24 MB | 1次下載 | 免費
- 2基于波形捕獲的超聲波傳感水流量計量技術應用說明
- 1.01MB | 1次下載 | 免費
- 3ADE-12H混頻器規(guī)格書
- 0.28 MB | 1次下載 | 5 積分
- 4AD9984A高性能10位顯示接口英文手冊
- 0.49 MB | 1次下載 | 5 積分
- 551開發(fā)板芯片資料
- 14.95 MB | 1次下載 | 1 積分
- 6用TL431LI-Q1監(jiān)控電流供應
- 176.71KB | 1次下載 | 免費
- 7Q1和非Q1器件的TPS54340/360/540/560和TPS54340B/360B/540B/560B之間的差異
- 123.6KB | 次下載 | 免費
- 8TPS512xx MOSFET驅(qū)動電路設計指南
- 886.86KB | 次下載 | 免費
本月
- 1HFSS電磁仿真設計應用詳解PDF電子教程免費下載
- 24.30 MB | 129次下載 | 1 積分
- 2繼電保護原理
- 2.80 MB | 42次下載 | 免費
- 3正激、反激、推挽、全橋、半橋區(qū)別和特點
- 0.91 MB | 36次下載 | 1 積分
- 4GBT 4706.1-2024家用和類似用途電器的安全第1部分:通用要求
- 7.43 MB | 18次下載 | 免費
- 5在設計中使用MOSFET瞬態(tài)熱阻抗曲線
- 1.57MB | 15次下載 | 免費
- 6AD18學習筆記
- 14.47 MB | 8次下載 | 2 積分
- 7H橋中的電流感測
- 545.39KB | 7次下載 | 免費
- 8幾張電動車充電器電路圖
- 0.23 MB | 6次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935113次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420061次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233084次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191360次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183329次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81578次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73804次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65985次下載 | 10 積分
評論
查看更多