一种AADL系统可靠性模型转换方法

doi:10.3969/j.issn.1000-3428.2011.14.006

计算机工程 ›› 2011, Vol. 37 ›› Issue (14): 21-26.doi: 10.3969/j.issn.1000-3428.2011.14.006

一种AADL系统可靠性模型转换方法

高磊，董云卫，张凡，王广仁

(西北工业大学计算机学院，西安 710129)

收稿日期:2011-02-15 出版日期:2011-07-20 发布日期:2011-07-20
作者简介:高磊(1984－)，男，硕士研究生，主研方向：嵌入式软件设计与验证，嵌入式计算；董云卫，教授；张凡，讲师；王广仁，硕士研究生
基金项目:
国家自然科学基金资助重点项目“高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究”(60736017)；国家“863”计划基金资助项目“模型驱动的任务关键软件系统测试建模与支撑平台”(2007AA01Z147)

AADL System Reliability Model Transformation Method

GAO Lei, DONG Yun-wei, ZHANG Fan, WANG Guang-ren

(College of Computer, Northwest Polytechnical University, Xi’an 710129, China)

Received:2011-02-15 Online:2011-07-20 Published:2011-07-20

摘要/Abstract

摘要：

在原有构件依赖关系的基础上，提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模，实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。研究表明，该方法使AADL可靠性模型向GSPN模型的转换规则更加完备，能对嵌入式系统的可靠性进行准确与全面的分析与评估。

关键词: 架构分析与设计语言, 广义随机Petri网, 可靠性模型, 模型装换规则, 可靠性评估

Abstract:

Based on the old component dependencies, this paper presents an Architecture Analysis and Design Language(AADL) system reliability model transformation method. It expands the dependencies to semantic connection, parameter connection and subcomponent calls and realizes the transformation to General Stochastic Petri Nets(GSPN). Therefore, it makes the model transformation rules from AADL reliability model to GSPN model more maturity and realizes exact and entire evaluation to reliability of embedded system.

Key words: Architecture Analysis and Design Language(AADL), General Stochastic Petri Nets(GSPN), reliability model, model transformation rules, reliability evaluation

中图分类号:

N945

高磊, 董云卫, 张凡, 王广仁. 一种AADL系统可靠性模型转换方法[J]. 计算机工程, 2011, 37(14): 21-26.

GAO Lei, DONG Yun-Wei, ZHANG Fan, WANG An-Ren. AADL System Reliability Model Transformation Method[J]. Computer Engineering, 2011, 37(14): 21-26.

参考文献

[1]	OMG, Inc.. Model Driven Architecture(MDA)[EB/OL]. (2009-01- 03). http://www.omg.org/mda.
[2]	刘晓娟, 温冠华, 李建军, 等. 软件可靠性度量方法[J].计算机工程.2009, 35(3):57-59 浏览
[3]	Feiler P H, Gluch D P, Hudak J J. The Architecture Analysis & Design Language(AADL): An Introduction[EB/OL]. (2006-02-06). http://repository.cmu.edu/sei/406/.
[4]	Feiler P, Rugina A. Dependability Modeling with the Architecture Analysis & Design Language(AADL)[EB/OL]. (2007-07-08). http://www.sei.cmu.edu/library/abstracts/reports/07tn043.cfm.
[6]	Bause F.[J].Kritzinger P S. Stochastic Petri Nets: An Introduction to the Theory[M]. Berlin, Germany: Friedrich Vieweg & Sohn Verlag.2002,:-
[7]	NASA Office of Safety and Mission Assurance. Fault Tree Hand- book with Aerospace Applications[EB/OL]. (2002-08-01). http:// www.skybrary.aero/bookshelf/books/394.pdf.
[8]	Zhang Chenyu, Yang Zhiyi, Dong Yunwei. Research and Assess- ment of the Reliability of a Fault Tolerant Model Using AADL[C]//Proc. of ASEA’08. Sanya, China: [s. n.], 2008: 45-52.
[9]	Rugina A E. Dependability Modeling and Evaluation——From AADL to Stochastic Petri Nets[D]. [S. l.]: Institut National Polytechnique de Toulouse, 2007.
	Feiler P, Hansson J. Flow Latency Analysis with the Architecture Analysis and Design Language(AADL)[R]. [S. l.]: Software Engineering Institute, Tech. Rep.: CMU/SEI-2007-TN-010, 2007.

[1]	李联, 杨淏天. 基于GSPN的锁步处理器系统可靠性建模与分析[J]. 计算机工程, 2019, 45(7): 296-302.
[2]	高峰,仵林博,岳旸,李海峰. 基于AHP与AdaBoosting的软件可靠性组合模型[J]. 计算机工程, 2017, 43(12): 69-72.
[3]	尹宗润，李俊山，苏东，孙衍欣. 基于Bayes-GO的复杂系统可靠性评估模型[J]. 计算机工程, 2013, 39(11): 276-279,284.
[4]	罗宗扬, 薛利兴, 左德承, 张展, 杨孝宗. 基于JTAG的故障注入工具设计[J]. 计算机工程, 2012, 38(7): 220-223.
[5]	杨春晖, 熊婧, 李冬. 分布式系统可靠性模型研究[J]. 计算机工程, 2012, 38(3): 51-53.
[6]	侯永, 吴晓, 张凡. AADL建模工具的设计[J]. 计算机工程, 2012, 38(20): 236-238.
[7]	赵娟, 郭平, 邓宏钟, 吴俊, 谭跃进, 李建平. 基于非交叉路径的加权网络可靠性模型[J]. 计算机工程, 2011, 37(5): 33-34,37.
[8]	袁志祥;王小平. 基于广义随机Petri网的网格调度模型[J]. 计算机工程, 2010, 36(2): 45-47.
[9]	杨怀洲;李增智. 基于GSPN的Web服务组合与性能分析[J]. 计算机工程, 2009, 35(22): 1-3.
[10]	吴超;林家骏;俞岭;邵玮炜. 软件可靠性建模研究[J]. 计算机工程, 2008, 34(11): 52-54.
[11]	蒋敏;孔军;单家芳. 实时控制系统软件的可靠性[J]. 计算机工程, 2007, 33(21): 47-49.
[12]	张永强;陈华珊. 软件可靠性的GP演化建模[J]. 计算机工程, 2007, 33(07): 75-77.

一种AADL系统可靠性模型转换方法

AADL System Reliability Model Transformation Method

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 12

Metrics

本文评价

推荐阅读 10