计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2015年
8期
1517-1524
,共8页
AADL%可靠性模型%IMC模型转换%形式化方法
AADL%可靠性模型%IMC模型轉換%形式化方法
AADL%가고성모형%IMC모형전환%형식화방법
AADL%dependability model%IMC model transformation%formal method
随着嵌入式软件在安全关键领域广泛应用,系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显重要.结构分析设计语言AADL是应用于嵌入式领域的体系结构建模、分析和验证的重要手段.由于AADL是一种半形式化模型,需要精确描述其语义才能进行定量分析.提出一种基于AADL的系统可靠性建模方法.首先,结合AADL模型和AADL错误模型附件,得到AADL可靠性模型;然后,提出一种模型转换方法,将AADL可靠性模型的基本元素和错误传播等特殊元素转换到交互式马尔科夫链模型IMC,进行可靠性定量分析;最后,结合法国空中交通控制系统的实例,证明该方法的可行性和有效性.
隨著嵌入式軟件在安全關鍵領域廣汎應用,繫統可靠性隨著其規模、複雜度和性能需求的不斷提升而愈顯重要.結構分析設計語言AADL是應用于嵌入式領域的體繫結構建模、分析和驗證的重要手段.由于AADL是一種半形式化模型,需要精確描述其語義纔能進行定量分析.提齣一種基于AADL的繫統可靠性建模方法.首先,結閤AADL模型和AADL錯誤模型附件,得到AADL可靠性模型;然後,提齣一種模型轉換方法,將AADL可靠性模型的基本元素和錯誤傳播等特殊元素轉換到交互式馬爾科伕鏈模型IMC,進行可靠性定量分析;最後,結閤法國空中交通控製繫統的實例,證明該方法的可行性和有效性.
수착감입식연건재안전관건영역엄범응용,계통가고성수착기규모、복잡도화성능수구적불단제승이유현중요.결구분석설계어언AADL시응용우감입식영역적체계결구건모、분석화험증적중요수단.유우AADL시일충반형식화모형,수요정학묘술기어의재능진행정량분석.제출일충기우AADL적계통가고성건모방법.수선,결합AADL모형화AADL착오모형부건,득도AADL가고성모형;연후,제출일충모형전환방법,장AADL가고성모형적기본원소화착오전파등특수원소전환도교호식마이과부련모형IMC,진행가고성정량분석;최후,결합법국공중교통공제계통적실례,증명해방법적가행성화유효성.
