| 一种AADL系统可靠性模型转换方法 |
| |
| 引用本文： | 高磊,董云卫,张凡,王广仁.一种AADL系统可靠性模型转换方法[J].计算机工程,2011,37(14):21-26. |
| |
| 作者姓名： | 高磊 董云卫 张凡 王广仁 |
| |
| 作者单位： | 西北工业大学计算机学院,西安,710129 |
| |
| 基金项目： | 国家自然科学基金资助重点项目"高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究"，国家"863"计划基金资助项目"模型驱动的任务关键软件系统测试建模与支撑平台" |
| |
| 摘 要： | 在原有构件依赖关系的基础上，提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模，实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。研究表明，该方法使AADL可靠性模型向GSPN模型的转换规则更加完备，能对嵌入式系统的可靠性进行准确与全面的分析与评估。
|
| 关 键 词： | 架构分析与设计语言 广义随机Petri网 可靠性模型 模型装换规则 可靠性评估 |
| 收稿时间： | 2011-02-15 |
AADL System Reliability Model Transformation Method |
| |
| GAO Lei,DONG Yun-wei,ZHANG Fan,WANG Guang-ren.AADL System Reliability Model Transformation Method[J].Computer Engineering,2011,37(14):21-26. |
| |
| Authors: | GAO Lei DONG Yun-wei ZHANG Fan WANG Guang-ren |
| |
| Affiliation: | (College of Computer,Northwest Polytechnical University,Xi’an 710129,China) |
| |
| 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. |
| |
| Keywords: | Architecture Analysis and Design Language（AADL） General Stochastic Petri Nets（GSPN） reliability model model transformation rules reliability evaluation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
