更新時間:2025-11-20 16:21:16作者:佚名
AADL筆記:
AADL涵蓋了三類組件,其中一類是軟件(組件),另一類是硬件,還有一類是復合組件,其主要用途在于:。
規范化,以及分析,針對實時嵌入式系統,還有復雜系統里的系統,以及專門的性能,和功能系統 。
把軟件映射到可計算性硬件元素
在復雜實時嵌入式系統里,AADL于基于模型的分析以及規范那方面,是極為有效的 。
對于AADL而言,其中心建模詞匯是構件,構件獲分配唯一標識符(名),且于特定構件類別里被聲明為一種類型及實現留學之路,對AADL構件抽象劃分,存在著3個種類:
應用軟件:線程,線程組,進程,數據,子程序
執行平臺組件(硬件):處理器,存儲器,外設,總線
復合組件:軟件、執行平臺、或者系統構件的組合,如系統。
使用操作模式和模式轉換來規范運行時體系結構的動態重構
AADL能夠用以對正在被使用當中的系統開展建模以及進行分析,還能夠用于設計以及整合全新的系統。
構件類型聲明屬于AADL范疇,其作用是確立構件外部可被看見的特征,此聲明由具決定性的子句以及起描述作用的子群所構成 。

特質:明確跟別的構件的交互之處,涵蓋構件全部需求的輸入以及訪問,還包括構件所給出的全部輸出與項目,。
流:指定信息傳輸的不同抽象通道。
屬性,它所定義的乃是構件本身天生具有的特質。每一個構成構件的種類,都存在預先所確定好的屬性,就好比那線程的執行時間這種情況 。
extends子句能讓一個構件類型聲明得以基于另一個構件,在構件被聲明成另一個的擴展之時,其接口、流以及屬性能夠被加入進去,父構件類型部分聲明的元素可予以細化AADL是什么意思,AADL的發音_AADL翻譯,屬性可以進行修改。
構件實現:
首先,有一個構件,它要實現指定一個內部結構,該內部結構按照子構件來指定,還要按照這些子構件特征之間的交互來指定,這里的交互包括調用和連接,并且要有穿越子構件之間的流,同時要按照表示操作狀態的模式來指定,最后還得按照屬性來指定\(。\)。

流AADL是什么意思,AADL的發音_AADL翻譯,它主要是構件類型里流規范的實現,或者是端到端流分析,比如,流開始于某一個子構件,它穿過零個或者多個子構件,最終在另一個子構件結束 。
模式,它代表著可選操作模式,這種操作模式有可能表明模式自身作為子構件,還可能表明其作為調用序列,包括有可能表明其作為連接以及流序列,另外也有可能表明其作為屬性的可選的配置。
屬性:定義構件固有的特性。每個構件實現都有預定義的屬性。
AADL的包,屬性集,附件