溫馨提示：您尚未登錄，請點 登陸 后下載，如果您還沒有賬戶請點 注冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細信息。
本發(fā)明公開了一種基于AADL的嵌入式軟件可靠性建模與評估方法，包括以下步驟：1）建立嵌入式軟件的AADL可靠性模型；2）提取AADL可靠性模型中的可靠性元素，采用Z語言建立可靠性模型ZAL，包括故障模型、結(jié)構(gòu)模型和行為模型；3）用離散時間馬...該專利屬于南京航空航天大學所有，僅供學習研究參考，未經(jīng)過南京航空航天大學授權(quán)不得商用。