91精品视频在线看_久久国产精品久久国产片_青春草在线视频精品_伊人天天躁夜夜躁狠狠

AADL筆記:

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

規(guī)范化，以及分析，針對(duì)實(shí)時(shí)嵌入式系統(tǒng)，還有復(fù)雜系統(tǒng)里的系統(tǒng)，以及專(zhuān)門(mén)的性能，和功能系統(tǒng) 。

把軟件映射到可計(jì)算性硬件元素

在復(fù)雜實(shí)時(shí)嵌入式系統(tǒng)里，AADL于基于模型的分析以及規(guī)范那方面，是極為有效的 。

對(duì)于AADL而言，其中心建模詞匯是構(gòu)件，構(gòu)件獲分配唯一標(biāo)識(shí)符（名），且于特定構(gòu)件類(lèi)別里被聲明為一種類(lèi)型及實(shí)現(xiàn)留學(xué)之路，對(duì)AADL構(gòu)件抽象劃分，存在著3個(gè)種類(lèi)：

應(yīng)用軟件：線(xiàn)程，線(xiàn)程組，進(jìn)程，數(shù)據(jù)，子程序

執(zhí)行平臺(tái)組件(硬件)：處理器，存儲(chǔ)器，外設(shè)，總線(xiàn)

復(fù)合組件：軟件、執(zhí)行平臺(tái)、或者系統(tǒng)構(gòu)件的組合，如系統(tǒng)。

使用操作模式和模式轉(zhuǎn)換來(lái)規(guī)范運(yùn)行時(shí)體系結(jié)構(gòu)的動(dòng)態(tài)重構(gòu)

AADL能夠用以對(duì)正在被使用當(dāng)中的系統(tǒng)開(kāi)展建模以及進(jìn)行分析，還能夠用于設(shè)計(jì)以及整合全新的系統(tǒng)。

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

特質(zhì)：明確跟別的構(gòu)件的交互之處，涵蓋構(gòu)件全部需求的輸入以及訪(fǎng)問(wèn)，還包括構(gòu)件所給出的全部輸出與項(xiàng)目，。

流：指定信息傳輸?shù)牟煌橄笸ǖ馈?/p>

屬性，它所定義的乃是構(gòu)件本身天生具有的特質(zhì)。每一個(gè)構(gòu)成構(gòu)件的種類(lèi)，都存在預(yù)先所確定好的屬性，就好比那線(xiàn)程的執(zhí)行時(shí)間這種情況 。

extends子句能讓一個(gè)構(gòu)件類(lèi)型聲明得以基于另一個(gè)構(gòu)件，在構(gòu)件被聲明成另一個(gè)的擴(kuò)展之時(shí)，其接口、流以及屬性能夠被加入進(jìn)去，父構(gòu)件類(lèi)型部分聲明的元素可予以細(xì)化AADL是什么意思,AADL的發(fā)音_AADL翻譯，屬性可以進(jìn)行修改。

構(gòu)件實(shí)現(xiàn)：

首先，有一個(gè)構(gòu)件，它要實(shí)現(xiàn)指定一個(gè)內(nèi)部結(jié)構(gòu)，該內(nèi)部結(jié)構(gòu)按照子構(gòu)件來(lái)指定，還要按照這些子構(gòu)件特征之間的交互來(lái)指定，這里的交互包括調(diào)用和連接，并且要有穿越子構(gòu)件之間的流，同時(shí)要按照表示操作狀態(tài)的模式來(lái)指定，最后還得按照屬性來(lái)指定\(。\)。

流AADL是什么意思,AADL的發(fā)音_AADL翻譯，它主要是構(gòu)件類(lèi)型里流規(guī)范的實(shí)現(xiàn)，或者是端到端流分析，比如，流開(kāi)始于某一個(gè)子構(gòu)件，它穿過(guò)零個(gè)或者多個(gè)子構(gòu)件，最終在另一個(gè)子構(gòu)件結(jié)束 。

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

屬性：定義構(gòu)件固有的特性。每個(gè)構(gòu)件實(shí)現(xiàn)都有預(yù)定義的屬性。

AADL的包，屬性集，附件