摘要
在基于模型驱动的嵌入式软件开发中,为了避免安全问题可能产生的损失,需要对系统的安全性进行分析,找出可能发生错误的地方。在基于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.
出处
《计算机技术与发展》
2013年第10期99-102,106,共5页
Computer Technology and Development
基金
中央高校基本科研业务费专项资金(GK2010002011)
教育部科学教育重点项目(107106)
