本文關(guān)鍵詞：模型驅(qū)動(dòng)的嵌入式系統(tǒng)設(shè)計(jì)安全性驗(yàn)證方法研究，，由筆耕文化傳播整理發(fā)布。

【摘要】：基于模型的嵌入式系統(tǒng)安全性分析與驗(yàn)證方法是近年來(lái)在安全攸關(guān)系統(tǒng)工程領(lǐng)域中出現(xiàn)的一個(gè)重要研究熱點(diǎn)。提出一種基于模型驅(qū)動(dòng)架構(gòu)的面向SysML/MARTE狀態(tài)機(jī)的系統(tǒng)安全性驗(yàn)證方法,具體包括:構(gòu)建了具備SysML/MARTE擴(kuò)展語(yǔ)義的狀態(tài)機(jī)元模型,以及安全性建模與分析語(yǔ)言AltaRica的語(yǔ)義模型GTS的元模型;然后建立了從SysML/MARTE狀態(tài)機(jī)模型分別到時(shí)間自動(dòng)機(jī)模型以及AltaRica模型的語(yǔ)義映射模型轉(zhuǎn)換規(guī)則,并基于AMMA平臺(tái)和時(shí)間自動(dòng)機(jī)驗(yàn)證工具UPPAAL設(shè)計(jì)實(shí)現(xiàn)了對(duì)SysML/MARTE狀態(tài)機(jī)的模型轉(zhuǎn)換與系統(tǒng)安全性形式化驗(yàn)證的框架。最后給出了一個(gè)飛機(jī)著陸控制系統(tǒng)設(shè)計(jì)模型的安全性驗(yàn)證實(shí)例分析。
【作者單位】： 南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;南京大學(xué)計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室;
【關(guān)鍵詞】： 系統(tǒng)安全性分析 模型驅(qū)動(dòng)工程 SysML/MARTE 狀態(tài)機(jī)模型 嵌入式系統(tǒng)
【基金】：國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展計(jì)劃973計(jì)劃資助項(xiàng)目(2014CB744904) 國(guó)家自然科學(xué)基金資助項(xiàng)目(61100034,61170043) 南京航空航天大學(xué)青年科技創(chuàng)新基金資助項(xiàng)目(NS2014098) 回國(guó)留學(xué)人員科研啟動(dòng)基金資助項(xiàng)目(2012)
【分類號(hào)】：TP368.1;TP309
【正文快照】： 1引言模型驅(qū)動(dòng)工程MDE(Model Driven Engineer-ing)[1~3]是近十年來(lái)在系統(tǒng)工程以及軟件工程領(lǐng)域中出現(xiàn)的主流方法,其基本思想是以系統(tǒng)模型設(shè)計(jì)、模型轉(zhuǎn)換與分析/驗(yàn)證為工程的重要核心,提高對(duì)復(fù)雜工程系統(tǒng)開(kāi)發(fā)與維護(hù)的能力和效率。與此同時(shí),建立基于模型的系統(tǒng)安全性分析方法并

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前1條

1 張?zhí)?Frédéric JOUAULT;Christian ATTIOGB

本文編號(hào)：407377