安全苛求系统及其评估.ppt

该【安全苛求系统及其评估 】是由【tanfengdao】上传分享，文档一共【62】页，该文档可以免费在线阅读，需要了解更多关于【安全苛求系统及其评估 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。安全苛求系统及其认证
单击添加副标题
同济大学 徐中伟
01
引言
验证、确认和测试
03
安全苛求系统的开发
质量管理
05
系统可靠性
铁路信号EN标准和安全性认证
02
功能安全性
典型的高安全系统实例
04
容错和故障安全技术
单击此处添加正文
06
形式化方法
单击此处添加正文
主要内容
CONTENT
01
领域：核工业、航空、航天、军工、交通、医疗等
特点：嵌入式的、实时的、安全相关的——系统失效的后果往往是灾难性的
名称：安全苛求系统（Safety-critical Systems）
02
03
引言——关键领域中应用的安全苛求系统
功能安全性（Function Safety）
1
概念：是系统不危及生命或环境的属性
2
两种安全性：信息安全性与功能安全性（Security and Safety）
3
安全性与可靠性——可信性（Dependability）：RAMS
4
安全性范围：硬件和软件、系统边界
5
基于计算机的控制和防护系统:优点和缺点
故障、错误和失效（Fault、Error and Failure）
故障分类：随机性故障和系统性故障
避错（fault avoidance）、纠错（fault removal）、检错（fault detection）和容错（fault tolerance）
V型生命周期模型
验证和确认
安全苛求系统的开发
系统需求
2
危害分类
3
确定处理危害的方法
1
识别危害
6
符合选定安全完整性水平的开发方法规范
5
确定适合的安全完整性水平
4
可靠性和可用性需求的分解
安全性需求
失效模式和影响分析（FMEA）
01
失效模式、影响和危害性分析（FMECA）
02
危害和可操作性研究（HAZOP）
03
事件树分析（ETA）
04
故障树分析（FTA）
05
等等
06
危害分析技术
初始危害识别（PHI）
01
初始危害分析（PHA）
02
安全性评审
03
安全性计划
04
系统危害分析
05
系统风险评估
06
独立安全性审计
07
生命周期不同阶段的安全性分析
误动作的后果——危害严重等级
严重等级
对环境或人的影响
给服务带来的后果
特大
多人死亡，和/或是多方面的严重伤害，和/或对环境的严重损害
重大
一人死亡，和/或是单个严重伤害，和/或是对环境产生明显的损害
主系统受损
次要
较小的损伤和/或对环境的明显影响
严重的系统损害
轻微
可能存在的较小的伤害
较小的系统损害
注：不同领域有不同标准规定