基于故障树分析的嵌入式系统AADL模型可靠性分析方法

• 作者: 李东民 李静 林华锋
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: AADL 故障树分析 可靠性分析 模型转换
• 年，卷（期）: 2017,（6）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 182-188
• 页数: 7页
• 分类号: TP311
• 字数: 5936字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2017.06.031

摘要

采用架构分析与设计语言(AADL)建立嵌入式系统的半形式化模型,实现从AADL模型到静态故障树(Static Fault Tree,SFT)模型的转换,并根据故障树定量分析法对系统可靠性进行分析.首先结合AADL错误模型附件建立可靠性模型;然后设计了从AADL模型到SFT模型的语义映射规则,并实现了将AADL模型中的基本元素转换为静态故障树中相对应的元素;最后结合飞机车轮刹车系统实例,使用文献中提出的方法对其进行可靠性分析,从而验证所提方法的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李东民	南京航空航天大学计算机科学与技术学院	6	14	2.0	3.0
2	李静		2	12	2.0	2.0
3	林华锋	南京航空航天大学计算机科学与技术学院	4	13	2.0	3.0