[1]刘玮,李蜀瑜.基于AADL模型的静态故障树的自动生成[J].计算机技术与发展,2013,(10):99-102.
　LIU Wei,LI Shu-yu.Automatic Generation of Static Fault Trees Based on AADL Model[J].,2013,(10):99-102.
点击复制

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

分享到：

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

摘要:: 在基于模型驱动的嵌入式软件开发中，为了避免安全问题可能产生的损失，需要对系统的安全性进行分析，找出可能发生错误的地方。在基于AADL系统模型的安全性分析上，利用AADL错误模型附件为系统故障和传播进行建模，通过追踪对象的可能故障源来提取系统的实例错误模型，然后将错误模型实例存储在有向图里，并根据有向图建立系统错误模型的故障树。通过故障树分析工具就可以高效地分析系统的安全问题

Abstract:: 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

[1]刘玮,李蜀瑜.AADL模型的形式化研究[J].计算机技术与发展,2013,(09):43.
　LIU Wei,LI Shu-yu.Research on Formalization of AADL Model[J].,2013,(10):43.

更新日期/Last Update: 1900-01-01