[1]杨莉[][],李楠[],席隆[]. 基于AADL的嵌入式系统可靠性建模方法的探讨[J].计算机技术与发展,2015,25(08):234-237.
　YANG Li[][],LI Nan[],XI Long[]. Discussion on Reliability Modeling for Embedded System Based on AADL[J].,2015,25(08):234-237.
点击复制

 基于AADL的嵌入式系统可靠性建模方法的探讨()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
25
期数:
2015年08期
页码:
234-237
栏目:
应用开发研究
出版日期:
2015-08-10

文章信息/Info

Title:
 Discussion on Reliability Modeling for Embedded System Based on AADL
文章编号:
1673-629X（2015)08-0234-04
作者:
 杨莉[1][2];  李楠[1] ; 席隆[1]
 1.中国科学院 空间应用工程与技术中心；2.中国科学院大学 计算机与控制学院
Author(s):
 YANG Li[1][2];  LI Nan[1] ; XI Long[1]
关键词:
 ; AADL; 嵌入式系统; 可靠性; 系统级建模
Keywords:
 ; AADL ; embedded system; reliability system-level modeling
分类号:
TP311
文献标志码:
A
摘要:
 在航天嵌入式设备研制过程中，对于元器件与电路设计的可靠性评估手段已经比较成熟，但其视角有一定局限性，其评估结果无法直接反映任务要求的符合程度。 AADL( Architecture Analysis & Design Language)可以为嵌入式系统的功能属性和非功能属性(如实时性和安全性)提供精确可执行的语义描述，提出利用AADL建立嵌入式系统可靠性模型的方法，可以有效解决这类问题。采用AADL核心语言建立系统级架构模型，为架构模型的建立与验证提供理论依据；采用EMA( Error Model Annex)建立系统可靠性模型，给出故障类型、故障传播、故障行为及相关属性的描述方法。最后以数据采集存储系统为例，建立可靠性模型并进行可靠性分析，验证提出的嵌入式系统可靠性建模方法的有效性。
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.

相似文献/References:

[1]吴育春,李蜀瑜.基于时间Petri网的AADL模型[J].计算机技术与发展,2014,24(02):88.
　WU Yu-chun,LI Shu-yu.AADL Model Based on TPN[J].,2014,24(08):88.
[2]张志宏,吴庆波,邵立松,等.基于飞腾平台TOE协议栈的设计与实现[J].计算机技术与发展,2014,24(07):1.
　ZHANG Zhi-hong,WU Qing-bo,SHAO Li-song,et al. Design and Implementation of TCP/IP Offload Engine Protocol Stack Based on FT Platform[J].,2014,24(08):1.
[3]梁文快,李毅. 改进的基因表达算法对航班优化排序问题研究[J].计算机技术与发展,2014,24(07):5.
　LIANG Wen-kuai,LI Yi. Research on Optimization of Flight Scheduling Problem Based on Improved Gene Expression Algorithm[J].,2014,24(08):5.
[4]黄静,王枫,谢志新,等. EAST文档管理系统的设计与实现[J].计算机技术与发展,2014,24(07):13.
　HUANG Jing,WANG Feng,XIE Zhi-xin,et al. Design and Implementation of EAST Document Management System[J].,2014,24(08):13.
[5]侯善江[],张代远[][][]. 基于样条权函数神经网络P2P流量识别方法[J].计算机技术与发展,2014,24(07):21.
　HOU Shan-jiang[],ZHANG Dai-yuan[][][]. P2P Traffic Identification Based on Spline Weight Function Neural Network[J].,2014,24(08):21.
[6]李璨,耿国华,李康,等. 一种基于三维模型的文物碎片线图生成方法[J].计算机技术与发展,2014,24(07):25.
　LI Can,GENG Guo-hua,LI Kang,et al. A Method of Obtaining Cultural Debris’ s Line Chart Based on Three-dimensional Model[J].,2014,24(08):25.
[7]翁鹤,皮德常. 混沌RBF神经网络异常检测算法[J].计算机技术与发展,2014,24(07):29.
　WENG He,PI De-chang. Chaotic RBF Neural Network Anomaly Detection Algorithm[J].,2014,24(08):29.
[8]刘茜[],荆晓远[],李文倩[],等. 基于流形学习的正交稀疏保留投影[J].计算机技术与发展,2014,24(07):34.
　LIU Qian[],JING Xiao-yuan[,LI Wen-qian[],et al. Orthogonal Sparsity Preserving Projections Based on Manifold Learning[J].,2014,24(08):34.
[9]尚福华,李想,巩淼. 基于模糊框架-产生式知识表示及推理研究[J].计算机技术与发展,2014,24(07):38.
　SHANG Fu-hua,LI Xiang,GONG Miao. Research on Knowledge Representation and Inference Based on Fuzzy Framework-production[J].,2014,24(08):38.
[10]叶偲,李良福,肖樟树. 一种去除运动目标重影的图像镶嵌方法研究[J].计算机技术与发展,2014,24(07):43.
　YE Si,LI Liang-fu,XIAO Zhang-shu. Research of an Image Mosaic Method for Removing Ghost of Moving Targets[J].,2014,24(08):43.

更新日期/Last Update: 2015-09-14