aadl 文章 最新資訊

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

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