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

1、隨著計算機技術的應用領域的不斷擴展，計算機軟件開發(fā)規(guī)模成幾何式的增長，同時軟件開發(fā)的復雜性不斷提高。這導致軟件開發(fā)的難度不斷增大，開發(fā)成本及開發(fā)周期增加，軟件行業(yè)面臨嚴峻的挑戰(zhàn)?；谝陨系膯栴}，對象管理組織(Object Management Group)提出模型驅動結構的方法(Model DrivenArchitecture)作為一種解決方案。MDA方法是把實現(xiàn)和模型分離，以模型設計為核心，用建立軟件系統(tǒng)的業(yè)務邏輯模型來代替軟件開發(fā)的

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

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