近年來,模型驅(qū)動（Model-Driven）尤其是采用形式化模型驅(qū)動的安全關(guān)鍵軟件設(shè)計與開發(fā)方法逐漸受到重視,并被工業(yè)界認(rèn)為是切實可行的重要手段。AADL（Architecture Analysis and Design Lanuage）是一種廣泛應(yīng)用于安全關(guān)鍵領(lǐng)域的形式化建模語言標(biāo)準(zhǔn)。然而,由于AADL語言的語法元素龐大、語義復(fù)雜,手工構(gòu)建安全關(guān)鍵軟件尤其是大規(guī)模復(fù)雜安全關(guān)鍵軟件的AADL設(shè)計模型難度較大。如何自動或半自動構(gòu)建AADL形式化設(shè)計模型是目前工業(yè)界和學(xué)術(shù)界廣泛關(guān)注的問題。本文提出了一種面向安全關(guān)鍵軟件建模的AADL設(shè)計模型自動生成方法,重點研究了基于限定自然語言的安全關(guān)鍵軟件需求建模及其到AADL模型的自動轉(zhuǎn)換、基于源代碼的AADL模型逆向重構(gòu)等關(guān)鍵問題,并設(shè)計和開發(fā)了相關(guān)原型工具,主要研究成果如下:首先,安全關(guān)鍵軟件引起嚴(yán)重事故的原因往往可以追溯到軟件需求尤其是安全性需求的問題,當(dāng)前工業(yè)界的軟件需求主要通過自然語言文本描述,而自然語言二義性、不精確、難以被自動處理的特性使得模型驅(qū)動開發(fā)方法的生命周期一般較少涉及需求階段。本文針對自然語言需求和AADL模型驅(qū)動開發(fā)方法之間... 

【文章來源】：南京航空航天大學(xué)江蘇省 211工程院校

【文章頁數(shù)】：83 頁

【學(xué)位級別】：碩士

【部分圖文】：

RNLreq數(shù)據(jù)字典元模型

2 RNL2AADL 中間模型：RAInterM由于RNLreq與AADL模型之間是一組多對多的映射關(guān)系，直接將RNLreq轉(zhuǎn)換到A的轉(zhuǎn)換規(guī)則相對復(fù)雜。如 AADL 中數(shù)據(jù)組件的作用域?qū)嶋H上與需求模板中的多條圖 4.3 RNLreq 功能需求元模型

AADL頂層元模型

【參考文獻】：
期刊論文
[1]復(fù)雜嵌入式實時系統(tǒng)體系結(jié)構(gòu)設(shè)計與分析語言:AADL[J]. 楊志斌,皮磊,胡凱,顧宗華,馬殿富.  軟件學(xué)報. 2010(05)
[2]數(shù)據(jù)庫設(shè)計工具PowerDesigner的研究與實踐[J]. 顧平.  計算機應(yīng)用與軟件. 2004(11)

博士論文
[1]面向需求及設(shè)計的逆向工程關(guān)鍵技術(shù)研究[D]. 任武.復(fù)旦大學(xué) 2013



本文編號：3353036