封面
声明
中文摘要
英文摘要
目录
图表清单
注释表
缩略词
第一章 绪论
1.1 课题研究背景及意义
1.2 国内外研究现状
1.3 本文内容安排
第二章 结合SPIN的SFMEA背景知识及方法概述
2.1 传统SFMEA简介
2.2 SPIN/PROMELA简介
2.3 结合SPIN的SFMEA方法流程
2.4 本章小结
第三章 结合SPIN的SFMEA方法流程
3.1 结合SPIN的系统级SFMEA方法流程
3.2 结合SPIN的详细级SFMEA方法流程
3.3 本章小结
第四章 分析验证目标的形式化建模
4.1 软件系统的PROMELA建模
4.2 C语言程序的PROMELA建模
4.3 失效模式到验证属性的建模
4.4 本章小结
第五章 发动机数字控制系统实例分析
5.1 某型航空发动机控制系统需求分析
5.2 结合SPIN的系统级发控SFMEA流程
5.3 结合SPIN的详细级发控SFMEA流程
5.4 本章小结
第六章 总结和展望
6.1 本文总结
6.2 未来工作
参考文献
致谢
在学期间的研究成果及发表的学术论文
附录 A