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

• 作者: 刘玮 李蜀瑜
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 结构化分析和设计语言 错误模型 有向图 故障树
• 年，卷（期）: 2013,（10）
• 所属期刊栏目: 安 全 与 防 范
• 页码范围: 99-102,106
• 页数: 5页
• 分类号: TP31
• 字数: 2832字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2013.10.025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘玮	陕西师范大学计算机学院	18	179	6.0	13.0
2	李蜀瑜	陕西师范大学计算机学院	57	229	7.0	11.0