技術(shù)編號(hào):6609429
提示:您尚未登錄,請(qǐng)點(diǎn) 登 陸 后下載,如果您還沒有賬戶請(qǐng)點(diǎn) 注 冊(cè) ,登陸完成后,請(qǐng)刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明涉及嵌入式系統(tǒng),具體涉及一種基于行為描述的AADL可靠性模型生成方法。背景技術(shù)為了滿足開發(fā)新型的嵌入式系統(tǒng)的需求,美國自動(dòng)化工程師協(xié)會(huì)發(fā)布了航空標(biāo)準(zhǔn)AS5506-架構(gòu)分析與設(shè)計(jì)語言(Architecture Analysis and Design Language, AADL) 。AADL對(duì)基于模型的分析和復(fù)雜實(shí)時(shí)嵌入式系統(tǒng)的描述有很好的支持,通過構(gòu)件以及構(gòu)件間的交互、軟件構(gòu)件、硬件構(gòu)件和系統(tǒng)構(gòu)件的綁定,對(duì)實(shí)時(shí)高可靠嵌入式系統(tǒng)進(jìn)行描述與分析;并基于系...
注意:該技術(shù)已申請(qǐng)專利,請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出,在未取得專利權(quán)人授權(quán)前,僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán),增加技術(shù)思路,做技術(shù)知識(shí)儲(chǔ)備,不適合論文引用。
請(qǐng)注意,此類技術(shù)沒有源代碼,用于學(xué)習(xí)研究技術(shù)思路。