基于AADL的嵌入式软件可靠性建模与评估方法

摘要

本发明公开了一种基于AADL的嵌入式软件可靠性建模与评估方法，包括以下步骤：1）建立嵌入式软件的AADL可靠性模型；2）提取AADL可靠性模型中的可靠性元素，采用Z语言建立可靠性模型ZAL，包括故障模型、结构模型和行为模型；3）用离散时间马尔可夫链DTMC刻画ZAL模型，并给出描述嵌入式软件可靠性的PCTL公式，采用提出的可靠性评估算法ZARE对PCTL公式进行计算，得出瞬时可用度，完成可靠性的评估。本发明不仅可将嵌入式软件分层次表示，简洁清晰，并易于理解，而且ZAL作为形式化模型可以采用模型检测等方法对可靠性进行严格地分析与评估。