| 致谢 | 第1-6页 |
| 中文摘要 | 第6-8页 |
| ABSTRACT | 第8-14页 |
| 1 引言 | 第14-26页 |
| ·研究背景 | 第14页 |
| ·高速列控系统的结构和特点 | 第14-16页 |
| ·复杂安全苛求系统可信性验证的内容和必要性 | 第16-18页 |
| ·列控系统的可信性验证研究现状 | 第18-22页 |
| ·可信性相关标准 | 第18-20页 |
| ·列控系统的可信性验证 | 第20-22页 |
| ·选题的目的和意义 | 第22-23页 |
| ·论文研究内容和篇章结构 | 第23-26页 |
| 2 系统可信性验证方法研究现状 | 第26-38页 |
| ·概述 | 第26-28页 |
| ·传统可信性验证方法及比较 | 第26-27页 |
| ·高速列控系统可信性验证需求 | 第27-28页 |
| ·系统结构可信性验证方法 | 第28-32页 |
| ·参数化故障树 | 第28-29页 |
| ·可维修故障树 | 第29-30页 |
| ·随机Petri网分析方法 | 第30页 |
| ·基于多形式化语义的结构可信性评估技术 | 第30-32页 |
| ·系统功能可信性测试方法 | 第32-36页 |
| ·功能正确性分析方法 | 第32-33页 |
| ·功能可靠性测试方法 | 第33-35页 |
| ·功能安全性测试方法 | 第35-36页 |
| ·研究现状总结 | 第36-37页 |
| ·本章小结 | 第37-38页 |
| 3 基于模型的系统结构可信性验证方法 | 第38-86页 |
| ·多形式化语义融合框架 | 第38-40页 |
| ·参数化可维修故障树融合 | 第40-45页 |
| ·扩展的参数化故障树 | 第41-43页 |
| ·可维修故障树 | 第43-45页 |
| ·参数化可维修故障树 | 第45页 |
| ·混成马尔可夫—参数化可维修故障树融合 | 第45-55页 |
| ·维修策略参数化数学模型 | 第46-52页 |
| ·混成马尔可夫模型 | 第52-54页 |
| ·混成马尔可夫—参数化可维修故障树(HMC-PRFT) | 第54-55页 |
| ·HMC-PRFT的CPN工具实现 | 第55-71页 |
| ·离散化数值计算思想 | 第55-58页 |
| ·HMC-PRFT实现需求及选择CPN的原因 | 第58-59页 |
| ·HMC-PRFT的CPN实现框架 | 第59-60页 |
| ·HMC-PRFT的基本逻辑门实现 | 第60-65页 |
| ·HMC-PRFT的混成马尔可夫维修策略模型CPN实现 | 第65-71页 |
| ·最小割集自动计算能力扩展 | 第71-73页 |
| ·方法有效性证明 | 第73-84页 |
| ·案例描述 | 第73-74页 |
| ·HMC-PRFT模型建立 | 第74-77页 |
| ·可信性验证计算方法 | 第77-79页 |
| ·传统方法分析结果和期望 | 第79-80页 |
| ·HMC-PRFT模型方法可信性验证结果 | 第80-83页 |
| ·分析结果比较 | 第83-84页 |
| ·本章小结 | 第84-86页 |
| 4 基于模型的功能安全性自动测试方法 | 第86-118页 |
| ·功能安全性测试 | 第86-92页 |
| ·功能安全性测试的内容 | 第86-88页 |
| ·功能安全性自动测试框架 | 第88-89页 |
| ·系统安全性指标 | 第89-91页 |
| ·系统功能划分方法 | 第91-92页 |
| ·系统功能失效模式识别方法 | 第92页 |
| ·基于模型的安全性测试生成方法 | 第92-107页 |
| ·基于模型的测试生成建模需求分析 | 第92-94页 |
| ·面向安全性测试生成CPN建模方法研究 | 第94-96页 |
| ·基于CPN的测试相关定义 | 第96-99页 |
| ·功能测试输入域和功能诱导执行序列的生成方法 | 第99-107页 |
| ·无先验知识的贝叶斯假设的SIL级评价测试方法 | 第107-111页 |
| ·贝叶斯统计推断理论 | 第107页 |
| ·软件SIL等级与软件失效概率关系 | 第107-109页 |
| ·共轭先验分布 | 第109-110页 |
| ·无先验知识的Bayesian测试方法 | 第110-111页 |
| ·基于经验的贝叶斯假设的SIL级评价测试方法 | 第111-115页 |
| ·运用先验知识进行贝叶斯推断的必要性 | 第111-112页 |
| ·先验分布超参数的求解方法 | 第112-113页 |
| ·有先验知识的Bayesian假设测试方法 | 第113-115页 |
| ·实例分析 | 第115-117页 |
| ·本章小结 | 第117-118页 |
| 5 案例分析 | 第118-134页 |
| ·RBC子系统介绍 | 第118-119页 |
| ·RBC子系统结构可信性验证案例 | 第119-126页 |
| ·RBC子系统结构说明 | 第120页 |
| ·可信性需求和维修策略 | 第120-121页 |
| ·RBC子系统结构建模建立 | 第121页 |
| ·基于HMC-PRFT模型的RBC子系统结构可信性验证 | 第121-126页 |
| ·RBC子系统软件功能建模与测试生成 | 第126-133页 |
| ·“成功移交”功能的FMEA分析 | 第126页 |
| ·功能测试序列及其输入域的生成 | 第126-130页 |
| ·诱导执行序列生成 | 第130-131页 |
| ·基于贝叶斯假设的SIL级评价测试设计 | 第131-133页 |
| ·本章小结 | 第133-134页 |
| 6 总结和展望 | 第134-138页 |
| ·研究成果 | 第134-135页 |
| ·论文创新点 | 第135-136页 |
| ·展望 | 第136-138页 |
| 参考文献 | 第138-144页 |
| 附录A | 第144-148页 |
| HMC-PRFT建模 | 第144-147页 |
| 最小割集计算建模 | 第147-148页 |
| 附录B | 第148-152页 |
| 附录C | 第152-154页 |
| 作者简历 | 第154-158页 |
| 学位论文数据集 | 第158页 |
