安全苛求系安全苛求系统及其及其认证同济大学 徐中伟主要内容v引言v功能安全性v安全苛求系统的开发v容错和故障安全技术v系统可靠性v形式化方法v验证、确认和测试v质量管理v铁路信号EN标准和安全性认证v典型的高安全系统实例引言关键领域中应用的安全苛求系统领域：核工业、航空、航天、军工、交通、医疗等特点：嵌入式的、实时的、安全相关的系统失效的后果往往是灾难性的名称：安全苛求系统（Safety-critical Systems）功能安全性（Function Safety）概念：是系统不危及生命或环境的属性两种安全性：信息安全性与功能安全性（Security and Safety）安全性与可靠性可信性（Dependability）：RAMS安全性范围：硬件和软件、系统边界基于计算机的控制和防护系统:优点和缺点安全苛求系统的开发故障、错误和失效（Fault、Error and Failure）故障分类：随机性故障和系统性故障避错（fault avoidance）、纠错（fault removal）、检错（fault detection）和容错（fault tolerance）V型生命周期模型验证
