| AADL模型可靠性分析评估工具 |
| |
| 引用本文： | 董云卫,王广仁,张凡,高磊.AADL模型可靠性分析评估工具[J].软件学报,2011,22(6):1252-1266. |
| |
| 作者姓名： | 董云卫 王广仁 张凡 高磊 |
| |
| 作者单位： | 西北工业大学计算机学院,陕西西安,710072 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863)，西北工业大学基础研究基金 |
| |
| 摘 要： | 主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN可靠性计算模型对嵌入式系统进行...
|
| 关 键 词： | AADL 可靠性模型 GSPN 可靠性分析与评估 形式化方法 |
| 收稿时间： | 2010/7/10 0:00:00 |
| 修稿时间： | 2011/3/29 0:00:00 |
Reliability Analysis and Assessment Tool for AADL Model |
| |
| DONG Yun-Wei,WANG Guang-Ren,ZHANG Fan and GAO Lei.Reliability Analysis and Assessment Tool for AADL Model[J].Journal of Software,2011,22(6):1252-1266. |
| |
| Authors: | DONG Yun-Wei WANG Guang-Ren ZHANG Fan and GAO Lei |
| |
| Affiliation: | (College of Computer Science,Northwestern Polytechnical University,Xi’an 710072,China) |
| |
| Abstract: | This paper focuses on a reliability model of embedded system architecture using AADL (architecture analysis and design language).It performs transformation from AADL reliability model to GSPN (general stochastic Petri net) model and assesses AADL architecture reliability computation model by the means of GSPN theory.To support the reliability analysis and assessment automatically,this paper designs and implements an AADL reliability assessment model tool,ARAM (AADL reliability assessment model tool),with fo... |
| |
| Keywords: | AADL GSPN |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
