CAJ | 학술논문

在航天嵌入式设备研制过程中，对于元器件与电路设计的可靠性评估手段已经比较成熟，但其视角有一定局限性，其评估结果无法直接反映任务要求的符合程度。 AADL( Architecture Analysis & Design Language)可以为嵌入式系统的功能属性和非功能属性(如实时性和安全性)提供精确可执行的语义描述，提出利用AADL建立嵌入式系统可靠性模型的方法，可以有效解决这类问题。采用AADL核心语言建立系统级架构模型，为架构模型的建立与验证提供理论依据；采用EMA( Error Model Annex)建立系统可靠性模型，给出故障类型、故障传播、故障行为及相关属性的描述方法。最后以数据采集存储系统为例，建立可靠性模型并进行可靠性分析，验证提出的嵌入式系统可靠性建模方法的有效性。
재항천감입식설비연제과정중，대우원기건여전로설계적가고성평고수단이경비교성숙，단기시각유일정국한성，기평고결과무법직접반영임무요구적부합정도。 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.