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

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

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

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