亚洲欧美国产精品粉嫩|亚洲精品精品无码专区|国产在线无码精品电影网|午夜无码久久久久久国产|亚洲国产精品一区二区动图|国产在线精品一区在线观看|欧美伊人久久久久久久久影院|中文字幕日韩av在线一区二区

合肥金星智控科技股份有限公司
宣傳

位置:中冶有色 >

有色技術(shù)頻道 >

> 失效分析技術(shù)

> 基于AADL模型擴(kuò)展的軟件系統(tǒng)安全性驗證與評估方法

基于AADL模型擴(kuò)展的軟件系統(tǒng)安全性驗證與評估方法

665   編輯:管理員   來源:中冶有色技術(shù)網(wǎng)  
2023-03-19 09:00:54
本發(fā)明涉及一種基于AADL模型擴(kuò)展的軟件系統(tǒng)安全性驗證與評估方法,是為了解決現(xiàn)有的基于AADL模型的驗證評估很難對系統(tǒng)模型進(jìn)行直接處理,需要付出巨大計算代價,且計算中蘊含大量冗余的缺點而提出的,包括:使危險因素與AADL架構(gòu)模型建立聯(lián)系,形成機(jī)理生成模型;提取模型元素并根據(jù)模型元素生成時間狀態(tài)故障樹、硬件軟件影響分析樹以及共因時效分析樹,并根據(jù)樹形結(jié)構(gòu)自底向上逆推危險產(chǎn)生路徑;設(shè)置每個物理器件的物理資源的性能與容量;并根據(jù)標(biāo)注好的物理器件的危險因素概率來計算所述物理器件的失效概率;將AADL安全性模型轉(zhuǎn)換為時間自動機(jī)模型;調(diào)用形式化驗證工具UPPAAL對所述時間自動機(jī)模型進(jìn)行分析和驗證;本發(fā)明適用于軟硬件系統(tǒng)的安全性評估。
聲明:
“基于AADL模型擴(kuò)展的軟件系統(tǒng)安全性驗證與評估方法” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)
分享 0
         
舉報 0
收藏 0
反對 0
點贊 0
標(biāo)簽:
失效分析
全國熱門有色金屬技術(shù)推薦
展開更多 +

 

中冶有色技術(shù)平臺微信公眾號
了解更多信息請您掃碼關(guān)注官方微信
中冶有色技術(shù)平臺微信公眾號中冶有色技術(shù)平臺

最新更新技術(shù)

報名參會
更多+

報告下載

第二屆中國微細(xì)粒礦物選礦技術(shù)大會
推廣

熱門技術(shù)
更多+

衡水宏運壓濾機(jī)有限公司
宣傳
環(huán)磨科技控股(集團(tuán))有限公司
宣傳

發(fā)布

在線客服

公眾號

電話

頂部
咨詢電話:
010-88793500-807
專利人/作者信息登記