一種AADL建模工具的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、隨著計(jì)算機(jī)技術(shù)的應(yīng)用領(lǐng)域的不斷擴(kuò)展，計(jì)算機(jī)軟件開發(fā)規(guī)模成幾何式的增長，同時(shí)軟件開發(fā)的復(fù)雜性不斷提高。這導(dǎo)致軟件開發(fā)的難度不斷增大，開發(fā)成本及開發(fā)周期增加，軟件行業(yè)面臨嚴(yán)峻的挑戰(zhàn)。基于以上的問題，對(duì)象管理組織(Object Management Group)提出模型驅(qū)動(dòng)結(jié)構(gòu)的方法(Model DrivenArchitecture)作為一種解決方案。MDA方法是把實(shí)現(xiàn)和模型分離，以模型設(shè)計(jì)為核心，用建立軟件系統(tǒng)的業(yè)務(wù)邏輯模型來代替軟件開發(fā)的

2、過程，建好的模型可以自動(dòng)生成特定的計(jì)算平臺(tái)代碼。
　　在實(shí)時(shí)系統(tǒng)建模領(lǐng)域，工業(yè)界基于MDA的理念，提出了結(jié)構(gòu)化分析和設(shè)計(jì)語言(Architecture Analysis and Design Language)，AADL能夠?qū)?shí)時(shí)關(guān)鍵系統(tǒng)的軟硬件協(xié)同進(jìn)行設(shè)計(jì)。并且AADL能夠精確描述系統(tǒng)，因此AADL逐漸成為嵌入式開發(fā)領(lǐng)域的標(biāo)準(zhǔn)。基于AADL語言能夠?qū)?shí)時(shí)性關(guān)鍵系統(tǒng)建模，并且能詳細(xì)且精確的描述系統(tǒng)等特性，我們準(zhǔn)備應(yīng)用AADL語言對(duì)

3、實(shí)時(shí)性關(guān)鍵系統(tǒng)的子集安全攸關(guān)軟件系統(tǒng)進(jìn)行建模。
　　本文主要研究了AADL建模語言的語法，總結(jié)出建模組件的語法規(guī)約，在此基礎(chǔ)上完成一種AADL語言的建模工具的設(shè)計(jì)和實(shí)現(xiàn)。并應(yīng)用該工具對(duì)安全攸關(guān)軟件系統(tǒng)進(jìn)行建模。
　　本文做的主要工作:首先，研究了AADL標(biāo)準(zhǔn)語法和安全攸關(guān)系統(tǒng)模型，根據(jù)安全攸關(guān)軟件系統(tǒng)建模需求選取AADL子集。并且詳細(xì)的介紹選取的AADL子集的語法。
　　其次，根據(jù)我們選取的AADL子集，使用Java