计算机技术与发展Issue(8)：234-237,4.DOI:10.3969/j.issn.1673-629X.2015.08.050
基于AADL的嵌入式系统可靠性建模方法的探讨
Discussion on Reliability Modeling for Embedded System Based on AADL
摘要
Abstract
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.关键词
AADL/嵌入式系统/可靠性/系统级建模Key words
AADL/embedded system/reliability/system-level modeling分类
信息技术与安全科学引用本文复制引用
杨莉,李楠,席隆..基于AADL的嵌入式系统可靠性建模方法的探讨[J].计算机技术与发展,2015,(8):234-237,4.基金项目
中国科学院空间科学与应用项目(Y2020400QY) （Y2020400QY）
