基于STAMP理论的IMA安全性分析方法研究
摘要 | 第4-5页 |
abstract | 第5页 |
第一章 绪论 | 第13-19页 |
1.1 课题研究背景 | 第13-16页 |
1.2 国内外研究现状 | 第16-17页 |
1.3 主要研究内容 | 第17页 |
1.4 论文组织结构 | 第17-19页 |
第二章 相关基础知识 | 第19-30页 |
2.1 综合模块化航空电子系统 | 第19-20页 |
2.1.1 IMA体系架构 | 第19-20页 |
2.1.2 IMA系统架构特征 | 第20页 |
2.2 ARP4761安全评估过程 | 第20-23页 |
2.2.1 功能危害性评估 | 第21-22页 |
2.2.2 初步系统安全性评估 | 第22页 |
2.2.3 系统安全性评估 | 第22-23页 |
2.3 基于系统理论事故模型的危害分析方法 | 第23-26页 |
2.3.1 STAMP模型 | 第23-25页 |
2.3.2 STPA方法 | 第25-26页 |
2.4 系统需求分析验证方法 | 第26-29页 |
2.4.1 四变量模型 | 第26-27页 |
2.4.2 SCR方法 | 第27-29页 |
2.5 本章小结 | 第29-30页 |
第三章 IMA安全分析方法研究 | 第30-41页 |
3.1 安全性分析方法比较 | 第30-31页 |
3.2 IMA系统安全分析验证框架 | 第31页 |
3.3 STAMP模型构建方法 | 第31-38页 |
3.3.1 构建分层控制结构 | 第31-33页 |
3.3.2 使用OCL描述过程模型 | 第33-34页 |
3.3.3 利用UML状态图描述控制算法 | 第34-35页 |
3.3.4 控制模型的定义 | 第35-38页 |
3.4 面向需求的四变量模型 | 第38-40页 |
3.5 本章小结 | 第40-41页 |
第四章 IMA系统实例分析 | 第41-58页 |
4.1 识别潜在的危险控制 | 第41-47页 |
4.1.1 确定系统级危险 | 第41-42页 |
4.1.2 构建分层控制结构 | 第42-45页 |
4.1.3 构建控制回路 | 第45-46页 |
4.1.4 辨识不安全控制行为 | 第46-47页 |
4.2 危害场景分析 | 第47-53页 |
4.2.1 过程模型 | 第47-49页 |
4.2.2 控制算法 | 第49-50页 |
4.2.3 辨识出危害场景 | 第50-51页 |
4.2.4 提取安全需求 | 第51-53页 |
4.3 控制缺陷分析 | 第53-57页 |
4.4 本章小结 | 第57-58页 |
第五章 基于四变量模型的需求验证 | 第58-62页 |
5.1 四变量模型设计 | 第58页 |
5.2 SCR表设计 | 第58-61页 |
5.3 模型验证 | 第61页 |
5.4 本章小结 | 第61-62页 |
第六章 总结与展望 | 第62-64页 |
6.1 总结 | 第62页 |
6.2 展望 | 第62-64页 |
参考文献 | 第64-68页 |
致谢 | 第68-69页 |
学期间的科研成果及发表的学术论文 | 第69页 |