主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
董云卫,王广仁,张凡,高磊.AADL 模型可靠性分析评估工具.软件学报,2011,22(6):1252-1266
AADL 模型可靠性分析评估工具
Reliability Analysis and Assessment Tool for AADL Model
投稿时间:2010-07-10  修订日期:2011-03-29
DOI:10.3724/SP.J.1001.2011.04014
中文关键词:  AADL  可靠性模型  GSPN  可靠性分析与评估  形式化方法
英文关键词:AADL  reliability model  GSPN  reliability analysis and assessment  formal method
基金项目:国家自然科学基金(60736017); 国家高技术研究发展计划(863)(2009AA01Z147); 西北工业大学基础研究基金(JC200917)
作者单位E-mail
董云卫 西北工业大学 计算机学院,陕西 西安 710072  
王广仁 西北工业大学 计算机学院,陕西 西安 710072 wanggry@gmail.com 
张凡 西北工业大学 计算机学院,陕西 西安 710072  
高磊 西北工业大学 计算机学院,陕西 西安 710072  
摘要点击次数: 6628
全文下载次数: 5319
中文摘要:
      主要针对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 工具的应用情况.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利