購物車(0)
基于XSLT的可靠性模型的自動轉(zhuǎn)換方法
關(guān)鍵詞：aadl z語言 可靠性 模型轉(zhuǎn)換 xslt
摘要：AADL已經(jīng)廣泛應(yīng)用于嵌入式軟件體系結(jié)構(gòu)的建模與分析,并且已有開源平臺OSATE為AADL提供建模、驗證與分析工具。但AADL作為一種半形式化建模語言,不能滿足嚴格分析評估軟件可靠性、安全性等非功能屬性的要求。因此需要將AADL可靠性模型轉(zhuǎn)換為形式化模型。Z語言是一種嚴格的形式化建模語言,在進行嚴格可靠性評估時具有很好的支持能力,并且已有工具提供Z模型的檢測功能。為實現(xiàn)AADL可靠性模型到Z形式化模型的自動轉(zhuǎn)換,文中設(shè)計了AADL到形式化語言Z的模型轉(zhuǎn)換規(guī)則,并基于XSLT實現(xiàn)了AADL到Z的自動轉(zhuǎn)換工具。最后通過一個自動駕駛子系統(tǒng)的實例,證明了所提出的自動轉(zhuǎn)換方法的有效性,并且通過將AADL模型與轉(zhuǎn)換結(jié)果進行對比,說明了轉(zhuǎn)換方法的正確性。
計算機技術(shù)與發(fā)展雜志要求:
{1}參考文獻著錄格式請參照國家標(biāo)準(zhǔn)《文后參考文獻著錄規(guī)則》(GB7714-87)。
{2}鼓勵首發(fā)，反對抄襲、剽竊等侵犯他人著作權(quán)的行為。由此給本刊造成不良后果的，本刊將追究責(zé)任。
{3}本刊稿件從發(fā)表之日起，如無電子版、網(wǎng)絡(luò)版、有聲版等方面特殊說明，即視作投稿者同意授權(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}中文題名一般不超過20個漢字，一般不使用副題名，中英文題名含義一致。
{5}投稿請?zhí)顚懻鎸嵱行У脑敿毜刂贰⑧]政編碼、聯(lián)系電話及E-mail，以便聯(lián)系。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社
