?AADL原理與實(shí)踐培訓(xùn)與咨詢
| 培訓(xùn)目標(biāo):
?
|
- 了解AADL 的發(fā)展歷程及其建模元素.
- 學(xué)習(xí)AADL建模規(guī)范
- 學(xué)習(xí)基于AADL 的建模方法、
- 學(xué)習(xí)AADL 模型的驗(yàn)證與分析以及基于AADL 模型的自動代碼生成.
- 了解AADL 現(xiàn)有的建模與分析工具.
- 了解AADL 的應(yīng)用實(shí)踐.
- 學(xué)習(xí)使用AADL進(jìn)行系統(tǒng)架構(gòu)的設(shè)計、開發(fā)、與驗(yàn)證
|
?
| 培訓(xùn)內(nèi)容:
?
|
| AADL 簡介 |
AADL的發(fā)展過程
AADL 和UML的關(guān)系
AADL有什么
AADL的應(yīng)用現(xiàn)狀
AADL 的研究現(xiàn)狀 |
| AADL建模元素 |
- 構(gòu)件種類
- 構(gòu)件描述
- 構(gòu)件特征
- 連接、流
- 構(gòu)件屬性
- 模式
- 擴(kuò)展附件
|
| AADL建模元素 |
從需求模型到AADL 模型的轉(zhuǎn)換
基于AADL建立PIM
基于AADL建立建立PSM
基于AADL模型生成可執(zhí)行代碼 |
| AADL模型的驗(yàn)證與分析 |
基于模型的驗(yàn)證方法
基于模型的驗(yàn)證工具 |
| 基于AADL模型的自動代碼生成 |
1、 基于AADL 各類軟件構(gòu)件,生成對應(yīng)的源代碼
2、 生成符合不同領(lǐng)域標(biāo)準(zhǔn)的應(yīng)用代碼,
3、 實(shí)時中間件及其上的分布式應(yīng)用代碼生成 |
| AADL 建模與分析工具 |
1、 目前已有的AADL建模工具
2、 各個工具的特點(diǎn)
3、 各個工具的比較 |
| AADL 應(yīng)用實(shí)踐概 |
1、 應(yīng)用案例介紹
2、 應(yīng)用AADL進(jìn)行系統(tǒng)架構(gòu)建模
3、 基于AADL工具進(jìn)行運(yùn)行仿真
4、 應(yīng)用AADL進(jìn)行系統(tǒng)性能分析
5、 應(yīng)用效果分析 |
|