服务介绍
软件功能安全分析与评估
• 功能风险分析（FHA）——在投入大量时间和人力进行系统安全性评估之前，协助客户对系统预期的功能进行分析。
• 故障树分析（FTA）——通过图形化分析方法，对故障进行由上往下的演绎式失效分析。
•失效模式及影响分析（F***）——识别软件存在的潜在的失效模式、评估失效模式对系统的影响、并提出有效的措施或修改意见。
• 事件树分析（ETA）——利用逻辑演绎法，对给定初因时间导致的各类事件序列结果进行分析。
软件功能安全验证
• 分析——分析检查软件需求、设计，形成软件功能安全分析验证清单。
•评审——针对系统危险分析评估、系统软硬件体系结构安全性评估、软件功能安全分析评估等工作过程和成果进行评审，形成功能安全评审清单。
• 测试——执行软件功能安全性测试用例，记录测试过程中的失效数据，验证识别的系统危险和失效模式得到覆盖和消除。
软件功能安全审定与知识分享的举证
•搜集——针对软件功能安全工作目标要求，在软件需求分析、设计实现、测试验证等工作中，收集过程和成果数据，形成面向软件功能安全审定的证据信息；
•验证——基于工作目标要求以及证据信息，构建层次化软件功能安全举证模型，自下而上综合验证各项目标要求已经得到实现，支撑软件功能安全审定知识分享工作。
