基于AADL的飞控软件建模与可靠性验证

目录

声明

第一章 绪 论

1.1 研究背景及意义

1.2 国内外研究现状

1.3 论文研究内容与结构

第二章 软件建模与可靠性验证相关技术

2.1 AADL建模技术

2.1.1 AADL建模方式与建模元素概述

2.1.2 AADL开发环境介绍

2.2软件可靠性验证技术

2.2.1 软件可靠性概述

2.2.2 软件可靠性验证方法分类

2.3 本章小结

第三章 飞控软件AADL模型化设计

3.1 飞控软件设计

3.1.1 飞控软件需求分析

3.1.2 飞控软件系统组成

3.1.3 飞控软件数据流分析

3.2 飞控软件的AADL建模设计

3.2.1 飞控软件AADL设计分析

3.2.2 飞控软件模块AADL模型化

3.2.3 飞控软件结构AADL模型化

3.3 AADL模型正确性验证

3.3.1 包含关系分析验证

3.3.2 基于Petri网的AADL模型正确性验证

3.4 本章小结

第四章 基于AADL的飞控软件可靠性验证方法研究

4.1 基于AADL的非功能性属性验证方法研究

4.1.1 数据流分析验证

4.1.2 时域可调度性分析验证

4.1.3 两种验证方法的部分属性对比分析

4.2 失效度约束分析验证方法研究

4.2.1 基于AADL的飞控软件故障树建模

4.2.2 软件失效度分配方法

4.3 可靠性模型建模分析

4.4 验证结果分析

4.5 本章小结

第五章 某型飞行器飞控软件建模与可靠性验证

5.1 某型飞行器飞控软件AADL建模

5.2 某型飞行器飞控软件非功能属性可靠性验证

5.2.1 数据流分析

5.2.2 时域可调度性分析

5.2.3 失效度约束分析

5.3 实验结果总结分析

5.4 本章小结

第六章 总结与展望

6.1 本文总结

6.2 研究展望

致谢

参考文献