| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第1章 绪论 | 第10-17页 |
| ·课题的背景及意义 | 第10-11页 |
| ·使用半形式化方法分析的理由 | 第11-13页 |
| ·安全和保全问题 | 第13-15页 |
| ·安全和保全问题概述 | 第13-14页 |
| ·如何验证并确认系统是保全的 | 第14-15页 |
| ·本论文主要研究内容和工作 | 第15-17页 |
| 第2章 用故障树和 Petri 网建模方法进行系统分析 | 第17-25页 |
| ·建模方法概述 | 第17-18页 |
| ·选定的工具：故障树和 Petri 网 | 第18-19页 |
| ·故障树分析介绍 | 第19-22页 |
| ·故障树分析的历史 | 第19页 |
| ·故障树分析简介 | 第19-20页 |
| ·故障树分析方法 | 第20-21页 |
| ·应用故障树分析的理由 | 第21-22页 |
| ·Petri 网介绍 | 第22-24页 |
| ·Petri 网的历史 | 第22页 |
| ·Petri 网简介 | 第22-23页 |
| ·Petri 网分析方法 | 第23-24页 |
| ·应用 Petri 网分析的理由 | 第24页 |
| ·本章小结 | 第24-25页 |
| 第3章 系统的安全/保全模型的开发 | 第25-49页 |
| ·概述 | 第25页 |
| ·通信系统描述 | 第25页 |
| ·安全/保全需求的必要性 | 第25-26页 |
| ·选定的建模工具 | 第26-30页 |
| ·故障树分析工具 | 第26-28页 |
| ·Petri 网工具 | 第28-30页 |
| ·模型的建立 | 第30-34页 |
| ·现实世界中的危机：航空事故 | 第30页 |
| ·顶层模型：引发航空事故的原因 | 第30-33页 |
| ·模型中元素的命名规则 | 第33-34页 |
| ·故障树和 Petri 网模型 | 第34-47页 |
| ·故障树模型 | 第34-41页 |
| ·Petri 网模型 | 第41-47页 |
| ·完整的故障树和 Petri 网模型 | 第47-48页 |
| ·本章小结 | 第48-49页 |
| 第4章 系统模型的分析与评价 | 第49-60页 |
| ·获得关于系统的额外信息 | 第49-50页 |
| ·因特网的可靠性研究 | 第50页 |
| ·基本事件和未探明事件的概率 | 第50-52页 |
| ·模型分析总结 | 第52-59页 |
| ·故障树模型分析与评价 | 第53-57页 |
| ·Petri 网模型的分析与评价 | 第57-59页 |
| ·建议的规避方法 | 第59页 |
| ·本章小结 | 第59-60页 |
| 结论 | 第60-63页 |
| 参考文献 | 第63-68页 |
| 致谢 | 第68页 |