安全苛求一系统及其评估.pptVIP

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