基于AADL模型的静态故障树的自动生成  

Automatic Generation of Static Fault Trees Based on AADL Model

作　　者：刘玮[1] 李蜀瑜[1] 

机构地区：[1]陕西师范大学计算机学院,陕西西安710062

出　　处：《计算机技术与发展》2013年第10期99-102,106,共5页Computer Technology and Development

基　　金：中央高校基本科研业务费专项资金(GK2010002011);教育部科学教育重点项目(107106)

摘　　要：在基于模型驱动的嵌入式软件开发中,为了避免安全问题可能产生的损失,需要对系统的安全性进行分析,找出可能发生错误的地方。在基于AADL系统模型的安全性分析上,利用AADL错误模型附件为系统故障和传播进行建模,通过追踪对象的可能故障源来提取系统的实例错误模型,然后将错误模型实例存储在有向图里,并根据有向图建立系统错误模型的故障树。通过故障树分析工具就可以高效地分析系统的安全问题。In the embedded software development based on model-driven,in order to avoid losses the security problems caused,it is indis-pensable for system safety analysis,finding out the possibility of error. On the safety analysis of AADL system model,use AADL error model for modeling the system failure and propagation. The error model instance can be achieved by tracking the possible fault source of object,then store the error model instance into the directed graph,establish a system error model of fault tree on the basis of the directed graph. The fault tree analysis tool can be efficient to analyze system security problem.

关 键 词：结构化分析和设计语言 错误模型 有向图 故障树 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]