天堂亚洲精品_国语精品视频_精品中文字幕在线_韩国在线视频一区_亚洲校园激情春色_国产精品久久久_91麻豆精品久久久久蜜臀_国产一区二区不卡_久久久久久久久久久久电影_国产成人一区二区

AADL筆記:

AADL涵蓋了三類組件，其中一類是軟件（組件），另一類是硬件，還有一類是復合組件，其主要用途在于:。

規范化，以及分析，針對實時嵌入式系統，還有復雜系統里的系統，以及專門的性能，和功能系統 。

把軟件映射到可計算性硬件元素

在復雜實時嵌入式系統里，AADL于基于模型的分析以及規范那方面，是極為有效的 。

對于AADL而言，其中心建模詞匯是構件，構件獲分配唯一標識符（名），且于特定構件類別里被聲明為一種類型及實現留學之路，對AADL構件抽象劃分，存在著3個種類：

應用軟件：線程，線程組，進程，數據，子程序

執行平臺組件(硬件)：處理器，存儲器，外設，總線

復合組件：軟件、執行平臺、或者系統構件的組合，如系統。

使用操作模式和模式轉換來規范運行時體系結構的動態重構

AADL能夠用以對正在被使用當中的系統開展建模以及進行分析，還能夠用于設計以及整合全新的系統。

構件類型聲明屬于AADL范疇，其作用是確立構件外部可被看見的特征，此聲明由具決定性的子句以及起描述作用的子群所構成 。

特質：明確跟別的構件的交互之處，涵蓋構件全部需求的輸入以及訪問，還包括構件所給出的全部輸出與項目，。

流：指定信息傳輸的不同抽象通道。

屬性，它所定義的乃是構件本身天生具有的特質。每一個構成構件的種類，都存在預先所確定好的屬性，就好比那線程的執行時間這種情況 。

extends子句能讓一個構件類型聲明得以基于另一個構件，在構件被聲明成另一個的擴展之時，其接口、流以及屬性能夠被加入進去，父構件類型部分聲明的元素可予以細化AADL是什么意思,AADL的發音_AADL翻譯，屬性可以進行修改。

構件實現：

首先，有一個構件，它要實現指定一個內部結構，該內部結構按照子構件來指定，還要按照這些子構件特征之間的交互來指定，這里的交互包括調用和連接，并且要有穿越子構件之間的流，同時要按照表示操作狀態的模式來指定，最后還得按照屬性來指定\(。\)。

流AADL是什么意思,AADL的發音_AADL翻譯，它主要是構件類型里流規范的實現，或者是端到端流分析，比如，流開始于某一個子構件，它穿過零個或者多個子構件，最終在另一個子構件結束 。

模式，它代表著可選操作模式，這種操作模式有可能表明模式自身作為子構件，還可能表明其作為調用序列，包括有可能表明其作為連接以及流序列，另外也有可能表明其作為屬性的可選的配置。

屬性：定義構件固有的特性。每個構件實現都有預定義的屬性。

AADL的包，屬性集，附件