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

摘要：

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

关键词：AADL、可靠性、广义随机Pelri网、ATC

所属期刊栏目：17

分类号：TH873.7

资助基金：国家863计划重大专项项目2007AA010304;国家自然科学基金项目60736017

在线出版日期：2009-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：779-782