關鍵詞：aadl z語言 可靠性 模型轉換 xslt 

摘要：AADL已經廣泛應用于嵌入式軟件體系結構的建模與分析,并且已有開源平臺OSATE為AADL提供建模、驗證與分析工具。但AADL作為一種半形式化建模語言,不能滿足嚴格分析評估軟件可靠性、安全性等非功能屬性的要求。因此需要將AADL可靠性模型轉換為形式化模型。Z語言是一種嚴格的形式化建模語言,在進行嚴格可靠性評估時具有很好的支持能力,并且已有工具提供Z模型的檢測功能。為實現AADL可靠性模型到Z形式化模型的自動轉換,文中設計了AADL到形式化語言Z的模型轉換規則,并基于XSLT實現了AADL到Z的自動轉換工具。最后通過一個自動駕駛子系統的實例,證明了所提出的自動轉換方法的有效性,并且通過將AADL模型與轉換結果進行對比,說明了轉換方法的正確性。

計算機技術與發展雜志要求:

{1}參考文獻著錄格式請參照國家標準《文后參考文獻著錄規則》(GB7714-87)。

{2}鼓勵首發，反對抄襲、剽竊等侵犯他人著作權的行為。由此給本刊造成不良后果的，本刊將追究責任。

{3}本刊稿件從發表之日起，如無電子版、網絡版、有聲版等方面特殊說明，即視作投稿者同意授權本刊電子版、網絡版、有聲版等的復制權、匯編權、發行權、翻譯權、信息網絡傳播權及其轉授權等專著權。

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

{5}投稿請填寫真實有效的詳細地址、郵政編碼、聯系電話及E-mail，以便聯系。

注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社