基于STAMP理论的机载显示系统安全性分析方法研究

目录

声明

第一章 绪论

1.1.2研究意义

1.2国内外研究现状

1.2.2 STAMP/STPA研究现状

1.3研究内容

1.4论文组织架构

第二章 安全性分析理论

2.1 STAMP理论与STPA

2.2形式化验证与UPPAAL

2.3小结

第三章 STPA形式化扩展研究

3.1.1 STAMP模型

3.1.2模型转换

3.1.3致因分析框架

3.2 HUD物理架构及功能分析

3.3案例分析-HUD系统

3.3.2系统STAMP模型构建

3.3.3 UPPAAL模型转换

3.3.4不安全控制行为识别与验证

3.3.5不安全控制行为致因分析

3.3.6小结

第四章 STPA-Bayes定量分析模型研究

4.2.1不安全控制行为等级分类

4.2.2 STAMP-BN模型转换及计算

4.3案例分析-HUD系统

4.3.1 UCA-1定量分析

4.3.2 UCA-2定量分析

4.3.3结果对比与分析

4.4小结

第五章 STPA-CREAM人因分析模型研究

5.1人因可靠性及CREAM

5.2 STPA-CREAM人因分析模型

5.2.1 CPC失效影响因子计算模型

5.2.2人因差错评价体系

5.3案例分析-HUD人机交互

5.3.2人机交互STAMP模型构建

5.3.3 UPPAAL模型转换

5.3.4人机交互风险识别与验证

5.3.5人机交互人因差错分析

5.3.6人因差错评价

5.3.7结果分析与建议

5.4小结

第六章 总结与展望

6.2研究展望

致谢

参考文献

攻读硕士学位期间的科研成果