摘要
在航天嵌入式设备研制过程中,对于元器件与电路设计的可靠性评估手段已经比较成熟,但其视角有一定局限性,其评估结果无法直接反映任务要求的符合程度。AADL(Architecture Analysis&Design Language)可以为嵌入式系统的功能属性和非功能属性(如实时性和安全性)提供精确可执行的语义描述,提出利用AADL建立嵌入式系统可靠性模型的方法,可以有效解决这类问题。采用AADL核心语言建立系统级架构模型,为架构模型的建立与验证提供理论依据;采用EMA(Error Model Annex)建立系统可靠性模型,给出故障类型、故障传播、故障行为及相关属性的描述方法。最后以数据采集存储系统为例,建立可靠性模型并进行可靠性分析,验证提出的嵌入式系统可靠性建模方法的有效性。
In aerospace embedded device development process, the method for reliability evaluation of components and circuit design is relatively mature, but its perspective has some limitations, its evaluation results cannot directly reflect the degree of compliance with the requirements. AADL （ Architecture Analysis ＆Design Language） can provide accurate and executable semantic description for functional properties and non-functional properties such as real-time performance and security. A reliability modeling method of embedded system based on AADL is proposed in this paper,which can solve these problems effectively. The AADL core language is adopted to construct system-level architectural model and it provides theoretical basis for designing and validating the architectural model. EMA （ Error Model Annex） is adopted to build the reliability of embedded system,then the usages of error type,error propagation,error behavior and related properties are provided. Finally, a data gathering and recording system is given as an example to illustrate the efficiency of the modeling method.
出处
《计算机技术与发展》
2015年第8期234-236,F0003,共4页
Computer Technology and Development
基金
中国科学院空间科学与应用项目(Y2020400QY)
