AADL软件容错系统建模与评估

杨志义; 张琛雨; 董云卫

首页> 中文期刊> 《计算机测量与控制》 >AADL软件容错系统建模与评估

AADL软件容错系统建模与评估

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

提出了一种解决软件客错系统的可靠性评估方法,该方法基于AADL,对嵌入式软件系统进行建模,详细分析了软件系统内部各种构件的各种错误状态和其之间的错误传播,构建了AADL软件系统错误模型,并根据基本的转换规则将其转化为广义随机Petri网模型,使用现有工具对其进行了计算,从而实现了软件客错系统的可靠性评估;以航空交通控制(ATC)为应用场景进行实验.根据经验数据适当的假设了部分构件的失效率,收到了较好效果.

著录项

来源
《计算机测量与控制》 |2009年第4期|779-782|共4页
作者
杨志义; 张琛雨; 董云卫;
展开▼
作者单位

西北工业大学;

计算机学院;

陕西;

西安;

710072;

西北工业大学;

计算机学院;

陕西;

西安;

710072;

西北工业大学;

计算机学院;

陕西;

西安;

710072;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TH873.7;
关键词
AADL; 可靠性; 广义随机Pelri网; ATC;

相似文献

中文文献
外文文献
专利

1. 采用AADL的软件系统可靠性建模与评估方法 [J] . 高金梁 ,张刚 ,经小川 . 计算机科学与探索 . 2011,第010期
2. 一种结合AADL与Z的嵌入式软件可靠性建模与评估方法 [J] . 李蜜 ,庄毅 ,胡镡文 . 计算机科学 . 2019,第008期
3. 基于AADL的分布式综合模块化航电系统架构建模与分析 [J] . 邢亮 . 电光与控制 . 2020,第002期
4. 系统架构描述语言AADL的功能行为建模扩展 [J] . 许金淼 ,杨志斌 ,黄志球 . 计算机科学与探索 . 2019,第010期
5. 一种结合AADL和TPN的系统能耗建模方法 [J] . 马铮 ,黄连丽 ,陶冰冰 . 计算机技术与发展 . 2017,第006期
6. 软件容错系统评估策略研究 [C] . 刘鑫 ,尹乾 ,郭平 . 第三届可信计算与信息安全学术会议 . 2008
7. 基于AADL的嵌入式软件可靠性建模与评估技术研究 [A] . 刘维维 . 2017

AADL软件容错系统建模与评估

摘要

著录项

相似文献

相关主题

期刊订阅