| 摘要 | 第1-9页 |
| ABSTRACT | 第9-10页 |
| 第一章 绪论 | 第10-20页 |
| ·课题研究背景 | 第10-11页 |
| ·国内外研究现状 | 第11-17页 |
| ·故障树理论研究 | 第11-12页 |
| ·故障树应用 | 第12-13页 |
| ·故障树计算机辅助生成和分析 | 第13-17页 |
| ·论文的主要工作及创新 | 第17-18页 |
| ·论文的组织结构 | 第18-20页 |
| 第二章 故障树分析法 | 第20-44页 |
| ·引言 | 第20-26页 |
| ·FTA 的应用范围和特点 | 第20-21页 |
| ·FTA 的主要步骤 | 第21-22页 |
| ·FTA 存在的主要问题 | 第22-23页 |
| ·FTA 中的名词术语和符号 | 第23-26页 |
| ·故障树的构造 | 第26-30页 |
| ·故障树分析的主要内容 | 第30-43页 |
| ·单调关联故障树 | 第30-31页 |
| ·定性分析 | 第31-35页 |
| ·故障树主要参数间的相互转换 | 第35-39页 |
| ·定量分析 | 第39-43页 |
| ·小结 | 第43-44页 |
| 第三章 基于时序故障树的软件规约与验证 | 第44-61页 |
| ·时序逻辑 | 第44-48页 |
| ·CTL(Computation Tree Logic) | 第45-46页 |
| ·TCTL(Timed Computation Tree Logic) | 第46-48页 |
| ·时序故障树建模 | 第48-52页 |
| ·现有时序故障树建模 | 第48-51页 |
| ·基于TCTL 扩充后的时序故障树模型 | 第51-52页 |
| ·时序故障树的定性分析及其验证 | 第52-58页 |
| ·时序故障树定性分析方法 | 第53-56页 |
| ·顶层事件规约的提取验证 | 第56-58页 |
| ·实例分析 | 第58-60页 |
| ·小结 | 第60-61页 |
| 第四章 时序故障树的正确性检测 | 第61-76页 |
| ·时序故障树形式化 | 第61-63页 |
| ·时序故障树的形式化定义 | 第61-63页 |
| ·时序故障树语义的形式化 | 第63页 |
| ·故障树正确性检测 | 第63-71页 |
| ·方法框架 | 第65-67页 |
| ·测试用例的生成 | 第67-71页 |
| ·实例 | 第71-75页 |
| ·小结 | 第75-76页 |
| 第五章 时序故障树自动化分析工具的设计与实现 | 第76-93页 |
| ·现有计算机辅助建树法及其特点 | 第76-77页 |
| ·GEF 介绍 | 第77-80页 |
| ·GEF 架构概述 | 第78-79页 |
| ·GEF 工作原理 | 第79-80页 |
| ·设计目标及框架 | 第80-81页 |
| ·节点类的设计 | 第81-82页 |
| ·主要功能的实现方法 | 第82-90页 |
| ·基础框架的实现 | 第83-85页 |
| ·故障树构建功能的实现 | 第85-88页 |
| ·求解最小割集的实现 | 第88-90页 |
| ·提取形式化规约功能的实现 | 第90页 |
| ·实例分析 | 第90-92页 |
| ·小结 | 第92-93页 |
| 第六章 总结与展望 | 第93-94页 |
| 致谢 | 第94-95页 |
| 参考文献 | 第95-100页 |
| 作者在学期间取得的学术成果 | 第100页 |