在线免费观看成年人视频-在线免费观看国产-在线免费观看国产精品-在线免费观看黄网站-在线免费观看精品

產(chǎn)品分類

當(dāng)前位置: 首頁 > 新聞熱點

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

發(fā)布日期:2022-07-14 點擊率:19

統(tǒng)時,設(shè)計師必須滿足功能性要求和非功能性屬性,如性能(吞吐量和服務(wù)質(zhì)量)、保護(hù)、可靠性、時間緊迫性、安全和容錯等,這些系統(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)行擴(kuò)展。

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

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

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

圖2:用于無線視頻監(jiān)控系統(tǒng)的初始AADL模型。
圖2:用于無線視頻監(jiān)控系統(tǒng)的初始AADL模型。

圖3:帶有硬件和軟件的AADL系統(tǒng)。
圖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公司


下一篇: 撩開電信標(biāo)準(zhǔn)的神秘面

上一篇: 工業(yè)無線解決方案 Mo