基于AADL的模型驗(yàn)證及代碼生成技術(shù).pdf

1、嵌入式系統(tǒng)已廣泛應(yīng)用于工業(yè)控制，消費(fèi)電子，通信設(shè)備，汽車電子，航空航天等眾多領(lǐng)域，對(duì)國民經(jīng)濟(jì)和國防領(lǐng)域具有重要影響。性能關(guān)鍵實(shí)時(shí)系統(tǒng)是指那些對(duì)非功能屬性要求較高的嵌入式系統(tǒng)，如：可靠性、可用性、實(shí)時(shí)性、響應(yīng)性、吞吐量和安全性。近年來，隨著硬件設(shè)備計(jì)算能力的提高，性能關(guān)鍵實(shí)時(shí)系統(tǒng)的規(guī)模和復(fù)雜度急劇增加，導(dǎo)致其對(duì)開發(fā)成本和非功能屬性的要求也越來越高，這些問題對(duì)性能關(guān)鍵實(shí)時(shí)系統(tǒng)開發(fā)中的設(shè)計(jì)合理性，驗(yàn)證完備性以及開發(fā)效率等方面都帶來了挑戰(zhàn)。目前

2、，業(yè)界引入了模型驅(qū)動(dòng)結(jié)構(gòu)(Model Driven Architecture，MDA)方法以解決上述問題，把嵌入式軟件的開發(fā)方法從代碼層次提升到模型層次，從而提高軟件的可信性，縮短開發(fā)周期。由汽車工程師協(xié)會(huì)（SAE）等組織提出的體系結(jié)構(gòu)分析設(shè)計(jì)語言（Architecture Analysis and Design Language）是一種基于MDA方法的建模語言，可以用來設(shè)計(jì)和分析性能關(guān)鍵的實(shí)時(shí)系統(tǒng)的軟硬件體系結(jié)構(gòu)。
　　基于模型

3、的開發(fā)方法中的核心技術(shù)就是模型驗(yàn)證以及自動(dòng)代碼生成技術(shù)。在本文中，我們通過對(duì)AADL語言標(biāo)準(zhǔn)的語義進(jìn)行深入分析，利用第三方工具Furness和TIMES完成了對(duì)模型的調(diào)度性分析，并基于北京科銀京成技術(shù)有限公司的嵌入式操作系統(tǒng)DeltaOS提出了AADL模型元素同可執(zhí)行語言元素之間的映射規(guī)則，設(shè)計(jì)并實(shí)現(xiàn)了自動(dòng)代碼生成工具 UCaG并以插件形式集成到了由SEI開發(fā)的開源AADL模型開發(fā)工具OSATE中，這樣最終形成了一個(gè)完整的集AADL模型