AADL 模型可靠性分析评估工具
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国家自然科学基金(60736017); 国家高技术研究发展计划(863)(2009AA01Z147); 西北工业大学基础研究基金(JC200917)


Reliability Analysis and Assessment Tool for AADL Model
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL 可靠性模型到广义随机Petri 网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN 可靠性计算模型对嵌入式系统进行可靠性评估.为了支持可靠性分析评估过程的自动化,根据模型转换的形式化方法,设计并实现了AADL 可靠性评估工具(AADL reliability assessment model tool,简称ARAM),该工具集成在AADL 体系结构设计工具OSATE(the open source AADL tool environment)中,并内置Petri 网计算工具PIPE2(platform independent Petri net editor 2),实现基于GSPN 模型的可靠性分析评估.同时,结合航空飞行控制系统的可靠性分析评估介绍了ARAM 工具的应用情况.

    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 formal methods. It is integrated into OSATE (the open source AADL tool environment) and uses PIPE2 (platform independent Petri net editor 2) to carry out the reliability assessment of GSPN model. Meanwhile, this paper also presents a case study on the reliability analysis and assessment of avionics flight control system to demonstrate the performance of ARAM.

    参考文献
    相似文献
    引证文献
引用本文

董云卫,王广仁,张凡,高磊. AADL 模型可靠性分析评估工具.软件学报,2011,22(6):1252-1266

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2010-07-10
  • 最后修改日期:2011-03-29
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号