使用AADL語言分析和設(shè)計(jì)嵌入式系統(tǒng)

• 　　在設(shè)計(jì)關(guān)鍵任務(wù)和實(shí)時(shí)性系統(tǒng)時(shí)，設(shè)計(jì)師必須滿足功能性要求和非功能性屬性，如性能(吞吐量和服務(wù)質(zhì)量)、保護(hù)、可靠性、時(shí)間緊迫性、安全和容錯(cuò)等，些系統(tǒng)級(jí)特性具體取決于系統(tǒng)架構(gòu)。隨著嵌入式軟件系統(tǒng)的硬件多樣性和復(fù)雜性的不斷提高，可以采用模型驅(qū)動(dòng)的開發(fā)方法來滿足開發(fā)早期階段出現(xiàn)的系統(tǒng)集成問題?；谀Ｐ偷脑O(shè)計(jì)方法的要點(diǎn)之一要選擇合適的設(shè)計(jì)語言來描述具體平臺(tái)架構(gòu)。 　　為了調(diào)整系統(tǒng)架構(gòu)，設(shè)計(jì)語言必須支持多種分析方法以便進(jìn)行跨領(lǐng)域的權(quán)衡，架構(gòu)設(shè)計(jì)語言還必須支持開發(fā)過程中的增量分析以及用于系統(tǒng)評(píng)估的多級(jí)逼真度。這種增
• 關(guān)鍵字： AADL  嵌入式  監(jiān)控系統(tǒng)設(shè)計(jì)