| AADL软件容错系统建模与评估 |
| |
| 引用本文： | 杨志义,张琛雨,董云卫.AADL软件容错系统建模与评估[J].计算机测量与控制,2009,17(4). |
| |
| 作者姓名： | 杨志义 张琛雨 董云卫 |
| |
| 作者单位： | 西北工业大学,计算机学院,陕西,西安,710072 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)，国家自然科学基金 |
| |
| 摘 要： | 提出了一种解决软件客错系统的可靠性评估方法,该方法基于AADL,对嵌入式软件系统进行建模,详细分析了软件系统内部各种构件的各种错误状态和其之间的错误传播,构建了AADL软件系统错误模型,并根据基本的转换规则将其转化为广义随机Petri网模型,使用现有工具对其进行了计算,从而实现了软件客错系统的可靠性评估;以航空交通控制(ATC)为应用场景进行实验.根据经验数据适当的假设了部分构件的失效率,收到了较好效果.
|
| 关 键 词： | 可靠性 广义随机Pelri网 |
Modeling and Assessment of Reliability of a Software Fault Tolerant System Using AADL |
| |
| Yang Zhiyi,Zhang Chenyu,Dong Yunwei.Modeling and Assessment of Reliability of a Software Fault Tolerant System Using AADL[J].Computer Measurement & Control,2009,17(4). |
| |
| Authors: | Yang Zhiyi Zhang Chenyu Dong Yunwei |
| |
| Abstract: | |
| |
| Keywords: | AADL ATC |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
