基于AADL的嵌入式系统可靠性建模方法的探讨

来源：计算机技术与发展杂志2015年第08期北京时间：

作者：杨莉;李楠;席隆

摘要：在航天嵌入式设备研制过程中，对于元器件与电路设计的可靠性评估手段已经比较成熟，但其视角有一定局限性，其评估结果无法直接反映任务要求的符合程度。 AADL( Architecture Analysis & Design Language)可以为嵌入式系统的功能属性和非功能属性(如实时性和安全性)提供精确可执行的语义描述，提出利用AADL建立嵌入式系统可靠性模型的方法，可以有效解决这类问题。采用AADL核心语言建立系统级架构模型，为架构模型的建立与验证提供理论依据；采用EMA( Error Model Annex)建立系统可靠性模型，给出故障类型、故障传播、故障行为及相关属性的描述方法。最后以数据采集存储系统为例，建立可靠性模型并进行可靠性分析，验证提出的嵌入式系统可靠性建模方法的有效性。

关键词：AADL;嵌入式系统;可靠性;系统级建模