發(fā)布日期:2022-07-14 點擊率:19
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)行擴(kuò)展。
監(jiān)控系統(tǒng)設(shè)計
視頻處理器來對數(shù)據(jù)流進(jìn)行壓縮和預(yù)處理,但這樣做會影響到端到端的延時。我們必須評估不同的硬件選擇,例如視頻處理器和無線芯片。我們也想嘗試多種壓縮和入侵檢測算法,AADL能讓我們集中精力滿足系統(tǒng)性能要求,從而簡化這一過程。
圖1:用于無線視頻監(jiān)控系統(tǒng)的一種AADL環(huán)境框圖。
圖2:用于無線視頻監(jiān)控系統(tǒng)的初始AADL模型。
圖3:帶有硬件和軟件的AADL系統(tǒng)。
組件之間的交互作用
收發(fā)器和處理器的選擇將直接影響端到端的延時。
完整的系統(tǒng)模型
工具支持
作者:
Hui Cao
Email:huicao.1@
Ting Yan
Email:TingYan@
Luis R. Pereira
Sujit R. Das
Bruce Lewis
Eaton公司