[1]张晓策,燕雪峰,周勇. 一种AADL故障模型到动态故障树的转换方法[J].计算机技术与发展,2017,27(11):110-114.
　ZHANG Xiao-ce,YAN Xue-feng,ZHOU Yong. A Method for Conversion of AADL Model into Dynamic Fault Tree[J].,2017,27(11):110-114.
点击复制

 一种AADL故障模型到动态故障树的转换方法()
分享到：

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

卷:
27
期数:
2017年11期
页码:
110-114
栏目:
安全与防范
出版日期:
2017-11-10

文章信息/Info

Title:
 A Method for Conversion of AADL Model into Dynamic Fault Tree
文章编号:
1673-629X（2017)11-0110-05
作者:
 张晓策; 燕雪峰; 周勇
 南京航空航天大学 计算机科学与技术学院
Author(s):
 ZHANG Xiao-ce; YAN Xue-feng; ZHOU Yong
关键词:
 ; AADL模型; 动态故障树; 转换方法; 错误附件
Keywords:
 ; AADL model; dynamic fault tree; conversion method; error model annex
分类号:
TP311
文献标志码:
A
摘要:
 在基于模型驱动的嵌入式软件开发中,需要使用工程技术和工具保证其安全性和可靠性.在设计阶段确定系统的可靠性是非常重要的,因其可为设计决策提供重要信息,以减少系统的开发成本.应用AADL建立嵌入式系统模型时,存在着AADL对时序故障描述不足的问题.为解决该问题,将AADL的故障附件进行扩展,使其能够完善地描述时序故障,并提出了扩展的AADL故障模型到动态故障树的转换规则及方法.从扩展的AADL故障模型到动态故障树的转换过程共分为三步:将AADL模型中的组件转换为单个动态故障树;以组件为基本元素建立数据或事件的故障转移图;根据故障转移图和组件的动态故障树建立动态故障树.通过导弹发射系统实例证明了该转化规则及方法的可行性和实用性.
Abstract:
 In the embedded software development based on the model driven,it needs to use the engineering techniques and tools to ensure its safety and reliability. It’ s very important to determine the system reliability at the design stage,because it can provide important infor-mation for design decisions and reduce the development cost of the system. When adopting the AADL to model for embedded software, there have been a problem that the AADL is poor to describe the sequential error. In order to solve this problem,the error model annex of AADL has been modified to describe the sequential fault perfectly. The conversion rule and method of extended AADL fault model to dy-namic fault tree is proposed,which is divided into three steps:transforming the components in the AADL model into a single dynamic fault tree;establishing the failover diagram of the data or event;based on the dynamic fault tree of component and the failover diagram building the dynamic fault tree. Finally,its feasibility and practicability are verified by the example of missile launch system.

相似文献/References:

[1]张志宏,吴庆波,邵立松,等.基于飞腾平台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(11):1.
[2]梁文快,李毅. 改进的基因表达算法对航班优化排序问题研究[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(11):5.
[3]黄静,王枫,谢志新,等. 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(11):13.
[4]侯善江[],张代远[][][]. 基于样条权函数神经网络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(11):21.
[5]李璨,耿国华,李康,等. 一种基于三维模型的文物碎片线图生成方法[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(11):25.
[6]翁鹤,皮德常. 混沌RBF神经网络异常检测算法[J].计算机技术与发展,2014,24(07):29.
　WENG He,PI De-chang. Chaotic RBF Neural Network Anomaly Detection Algorithm[J].,2014,24(11):29.
[7]刘茜[],荆晓远[],李文倩[],等. 基于流形学习的正交稀疏保留投影[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(11):34.
[8]尚福华,李想,巩淼. 基于模糊框架-产生式知识表示及推理研究[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(11):38.
[9]叶偲,李良福,肖樟树. 一种去除运动目标重影的图像镶嵌方法研究[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(11):43.
[10]余松平[][],蔡志平[],吴建进[],等. GSM-R信令监测选择录音系统设计与实现[J].计算机技术与发展,2014,24(07):47.
　YU Song-ping[][],CAI Zhi-ping[] WU Jian-jin[],GU Feng-zhi[]. Design and Implementation of an Optional Voice Recording System Based on GSM-R Signaling Monitoring[J].,2014,24(11):47.

更新日期/Last Update: 2017-12-26