论文部分内容阅读
在航天嵌入式设备研制过程中,对于元器件与电路设计的可靠性评估手段已经比较成熟,但其视角有一定局限性,其评估结果无法直接反映任务要求的符合程度。AADL（Architecture Analysis＆Design Language）可以为嵌入式系统的功能属性和非功能属性（如实时性和安全性）提供精确可执行的语义描述,提出利用AADL建立嵌入式系统可靠性模型的方法,可以有效解决这类问题。采用AADL核心语言建立系统级架构模型,为架构模型的建立与验证提供理论依据;采用EMA（Error Model Annex）建立