应答器及地面电子单元的安全系统建模.docVIP

应答器及地面电子单元的安全系统建模 学 院： 电子信息工程学院 专 业： 控制工程 学生姓名： 史印良 学 号：MBSA概述 通过给系统建立一个统一正式的模型，并在此基础上进行分析、测试、论证和代码生成，我们把这种基于模型的安全分析活动叫做MBSA（Model-Based Safety Analysis）。 传统安全分析如故障树分析，基于的是从多个来源综合得来的信息，包括非正式的系统设计模型和需求文件。这些分析高度主观并且依赖工程师的技术。作为最为常见的安全性分析技术，不同的安全性工程师对于同一个系统可以做出不同的故障树。最终的故障树经常通过评审过程达成