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

反应式故障-安全技术这种技术允许一个安全相关功能由单个项执行，前提是通过快速的危险故障检测和屏蔽来确保它的安全操作(例如通过编码，多路计算和比较，或通过连续的测试)。尽管只由一个项实施实际的安全相关功能，但检查/测试/检测功能应被看作为第二项。检查/测试/检测功应是独立的，以避免共因失效。功能A功能A故障检测屏蔽输出功能A检测输出T安全状态A中出现第一个故障第一个故障被检测出屏蔽输出A中出现第一个故障后的检测和屏蔽时间T不应大于规定的潜在危险性瞬间输出时间限制01多版本编程技术02恢复块03选择合适的程序设计语言04设计良好、清晰的软件架构05软件模块化，减少模块相互依赖06防御性编程07软件注释08软件测试软件容错和故障安全技术失效率浴盆曲线MTTFMTTRMTBF可用性系统可靠性基本概念可靠性方框图串联并联串并联组合失效的独立性马尔可夫模型离散马尔可夫模型连续马尔可夫模型其他模型可靠性模型硬件可靠性预测01软件可靠性预测02可靠性预测和评估传统的诸如测试、故障树等检错、纠错和容错技术擅长处理由随机产生、系统老化或系统单部件引起的，而不是由复杂的交互作用引起的故障。它们是在假设系统的设计正确的情况下，对软件、硬件故障进行处理。同时，软件的故障处理主要借鉴于硬件故障处理技术。然而硬、软件的故障性质是有差别的，软件具有离散性，更适合用集合、格、群等数学工具来表达。一种更为严格和客观安全保障方法形式化是指使用离散数学和逻辑学的技术来分析需求、设计和构建计算机系统及其软件，用严格的数学符号和数学法则对目标系统的的结构与行为进行有效的综合分析和推理的方法，它为系统的说明、开发验证提供了一个框架，以利于发现目标系统需求中的不一致、不完整的情况。形式化方法概要形式化方法分类形式化方法的开发过程验证和确认计划验证和确认人员必须满足独立性要求动态测试01走查/设计审核02检查表03形式证明04Fagan检查05控制流分析06数据流分析07符号执行08度量静态分析技术形式化方法01软件原型02性能建模03状态转移图04时间Petri网05数据流图06结构图07环境建模08建模技术测试覆盖率——完备测试不可能语句覆盖率分枝覆盖率组合判定覆盖率等等01测试充分性准则基于需求的准则基于结构的准则02时间特性03测试开销04测试策略软件工程ISO9001质量管理体系CMM/CMMI软件能力成熟度模型（1-5级）质量管理铁路信号EN标准族EN50128整个铁路系统铁路信号系统子系统单独设备EN50159（通信）EN50129(安全性)硬件软件EN50126（可信性）安全性的证据：安全性例证SafetyCase第六部分：结论第五部分：相关安全例证第四部分：技术安全报告第三部分：安全管理报告第二部分：质量管理报告第一部分：系统定义安全例证质量管理报告组织结构质量计划和程序需求规范设计控制设计验证和评审应用工程采购和生产产品鉴别与可追溯能力处理与贮存检查和测试；不一致及其更正包装和交货安装和交付使用运行与维护质量监督和反馈文件和记录配置管理/修改控制人员能力与培训质量审计与追踪报告系统退役和处置安全苛求系统及其认证

主要内容引言功能安全性安全苛求系统的开发容错和故障安全技术系统可靠性形式化方法验证、确认和测试质量管理铁路信号EN标准和安全性认证典型的高安全系统实例领域：核工业、航空、航天、军工、交通、医疗等1特点：嵌入式的、实时的、安全相关的——系统失效的后果往往是灾难性的2名称：安全苛求系统（Safety-criticalSystems）3引言——关键领域中应用的安全苛求系统功能安全性（FunctionSafety）1概念：是系统不危及生命或环境的属性2两种安全性：信息安全性与功能安全性（SecurityandSafety）3安全性与可靠性——可信性（Dependability）：RAMS4安全性范围：硬件和软件、系统边界5基于计算机的控制和防护系统:优点和缺点V型生命周期模型故障、错误和失效（Fault、ErrorandFailure）避错（faultavoidance）、纠错（faultremoval）、检错（faultdetection）和容错（faulttolerance）故障分类：随机性故障和系统性故障验证和确认安全苛求系统的开发系统需求