系統(tǒng)架構(gòu)描述語言AADL的功能行為建模擴展
作者：許金淼; 楊志斌; 黃志球; 謝健; 周勇 南京航空航天大學(xué)計算機科學(xué)與技術(shù)學(xué)院; 南京210016; 高安全系統(tǒng)的軟件開發(fā)與驗證技術(shù)工信部重點實驗室; 南京210016
摘要：架構(gòu)分析與設(shè)計語言(AADL)是一種用于描述復(fù)雜嵌入式系統(tǒng)體系架構(gòu)的建模語言,被廣泛用于安全關(guān)鍵系統(tǒng)建模與驗證。AADL通過行為附件以狀態(tài)機的形式對組件的內(nèi)部行為建模。工業(yè)界中的復(fù)雜系統(tǒng)常使用層次自動機描述組件的功能行為,而行為附件中沒有表達層次自動機的機制。針對這一問題,提出了AADL行為附件的層次化擴展——HBA。首先給出了HBA的形式語法,然后定義了HBA的操作語義。提出了HBA的元模型,并在OSATE環(huán)境中實現(xiàn)其文本和圖形化編輯器。為了便于形式化驗證,給出了HBA到時間自動機(TA)的轉(zhuǎn)換規(guī)則,并基于模型檢測工具UPPAAL進行形式化驗證。最后,給出一個案例研究來驗證所提方法的有效性。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社。
計算機科學(xué)與探索雜志
計算機科學(xué)與探索雜志， 月刊，本刊重視學(xué)術(shù)導(dǎo)向，堅持科學(xué)性、學(xué)術(shù)性、先進性、創(chuàng)新性，刊載內(nèi)容涉及的欄目：綜述探索、簡訊、學(xué)術(shù)研究、專題報導(dǎo)、專題報導(dǎo)。等。于2007年經(jīng)新聞總署批準的正規(guī)刊物。
- 北大期刊
- CSCD期刊
- 統(tǒng)計源期刊
- 1-3個月審核
