题目：基于Safety Case 的系统安全性分析方法研究

安全例证（Safety Case），一种描述系统安全性的方法,特别是针对海上安装、铁路运作、核反应堆和空中交通管制等领域的安全或者关键任务系统，越来越成为系统安全保证的基本方法。本论文在研究国外在安全或者关键任务系统等领域安全例证方法的成熟应用上，通过融合传统的安全性分析和评估方法，研究一种基于安全例证的系统安全性分析方法。具体研究内容包括： 首先，介绍了安全例证的内涵、结构、基本推理方法和表示方法，研究了装备或产品各寿命周期阶段的安全性分析相关任务和活动，以及安全例证在其各寿命周期阶段的角色分析。 其次，研究了系统初始类型的安全例证、体系结构类型的安全例证、详细设计类型的安全例证和部署与运营类型的安全例证的开发过程。 再次，安全例证的核心是安全性论据，由安全性论据来证明或论证系统的安全性。在系统安全例证开发过程基础上，研究如何组织系统安全例证的论据以及合理地选择证据，从而给出在支持的合理级别上的系统安全性证明和论证。基于事故（故障）研究了安全性论据具体推理过程，来寻找系统安全性论据结构中的缺陷和故障。 最后，以飞行控制系统中的增稳与控制增稳系统为例，阐述基于安全例证的系统安全性分析方法的应用。在案例应用研究中，给出了增稳与控制增稳系统的四种不同类型安全例证的顶层安全性论据。