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