關(guān)鍵詞：aadl z語(yǔ)言 可靠性 模型轉(zhuǎn)換 xslt 

摘要：AADL已經(jīng)廣泛應(yīng)用于嵌入式軟件體系結(jié)構(gòu)的建模與分析,并且已有開(kāi)源平臺(tái)OSATE為AADL提供建模、驗(yàn)證與分析工具。但AADL作為一種半形式化建模語(yǔ)言,不能滿足嚴(yán)格分析評(píng)估軟件可靠性、安全性等非功能屬性的要求。因此需要將AADL可靠性模型轉(zhuǎn)換為形式化模型。Z語(yǔ)言是一種嚴(yán)格的形式化建模語(yǔ)言,在進(jìn)行嚴(yán)格可靠性評(píng)估時(shí)具有很好的支持能力,并且已有工具提供Z模型的檢測(cè)功能。為實(shí)現(xiàn)AADL可靠性模型到Z形式化模型的自動(dòng)轉(zhuǎn)換,文中設(shè)計(jì)了AADL到形式化語(yǔ)言Z的模型轉(zhuǎn)換規(guī)則,并基于XSLT實(shí)現(xiàn)了AADL到Z的自動(dòng)轉(zhuǎn)換工具。最后通過(guò)一個(gè)自動(dòng)駕駛子系統(tǒng)的實(shí)例,證明了所提出的自動(dòng)轉(zhuǎn)換方法的有效性,并且通過(guò)將AADL模型與轉(zhuǎn)換結(jié)果進(jìn)行對(duì)比,說(shuō)明了轉(zhuǎn)換方法的正確性。

計(jì)算機(jī)技術(shù)與發(fā)展雜志要求:

{1}參考文獻(xiàn)著錄格式請(qǐng)參照國(guó)家標(biāo)準(zhǔn)《文后參考文獻(xiàn)著錄規(guī)則》(GB7714-87)。

{2}鼓勵(lì)首發(fā)，反對(duì)抄襲、剽竊等侵犯他人著作權(quán)的行為。由此給本刊造成不良后果的，本刊將追究責(zé)任。

{3}本刊稿件從發(fā)表之日起，如無(wú)電子版、網(wǎng)絡(luò)版、有聲版等方面特殊說(shuō)明，即視作投稿者同意授權(quán)本刊電子版、網(wǎng)絡(luò)版、有聲版等的復(fù)制權(quán)、匯編權(quán)、發(fā)行權(quán)、翻譯權(quán)、信息網(wǎng)絡(luò)傳播權(quán)及其轉(zhuǎn)授權(quán)等專著權(quán)。

{4}中文題名一般不超過(guò)20個(gè)漢字，一般不使用副題名，中英文題名含義一致。

{5}投稿請(qǐng)?zhí)顚?xiě)真實(shí)有效的詳細(xì)地址、郵政編碼、聯(lián)系電話及E-mail，以便聯(lián)系。

注：因版權(quán)方要求，不能公開(kāi)全文，如需全文，請(qǐng)咨詢雜志社