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