,,

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

發(fā)布日期：2022-07-14 點擊率：20

統(tǒng)時,設(shè)計師必須滿足功能性要求和非功能性屬性,如性能(吞吐量和服務(wù)質(zhì)量)、保護、可靠性、時間緊迫性、安全和容錯等,這些系統(tǒng)級特性具體取決于系統(tǒng)架構(gòu)。隨著嵌入式軟件系統(tǒng)的硬件多樣性和復(fù)雜性的不斷提高,可以采用模型驅(qū)動的開發(fā)方法來滿足開發(fā)早期階段出現(xiàn)的系統(tǒng)集成問題。基于模型的設(shè)計方法的要點之一是要選擇合適的設(shè)計語言來描述具體平臺架構(gòu)。

ta-model)、圖形定義和文本語言屬性。AADL UML 2.0規(guī)范已經(jīng)開發(fā)成功,并已經(jīng)開始進(jìn)入投票階段。ARINC 653架構(gòu)的附錄也已開始制訂。有許多工具支持這種語言,其中有許多是開放源碼的工具。開源AADL工具集環(huán)境(OSATE)是很重要的一個工具,它基于Eclipse框架,包含文本、XML和圖形編輯器以及眾多分析工具。這些工具都是開源Eclipse插件,可以進(jìn)行擴展。

監(jiān)控系統(tǒng)設(shè)計

視頻處理器來對數(shù)據(jù)流進(jìn)行壓縮和預(yù)處理,但這樣做會影響到端到端的延時。我們必須評估不同的硬件選擇,例如視頻處理器和無線芯片。我們也想嘗試多種壓縮和入侵檢測算法,AADL能讓我們集中精力滿足系統(tǒng)性能要求,從而簡化這一過程。

圖1:用于無線視頻監(jiān)控系統(tǒng)的一種AADL環(huán)境框圖。