服务介绍

软件功能安全分析与评估

•        功能风险分析（FHA）——在投入大量时间和人力进行系统安全性评估之前，协助客户对系统预期的功能进行分析。
•        故障树分析（FTA）——通过图形化分析方法，对故障进行由上往下的演绎式失效分析。
•        失效模式及影响分析（FMEA）——识别软件存在的潜在的失效模式、评估失效模式对系统的影响、并提出有效的措施或修改意见。
•        事件树分析（ETA）——利用逻辑演绎法，对给定初因时间导致的各类事件序列结果进行分析。

软件功能安全验证

•        分析——分析检查软件需求、设计，形成软件功能安全分析验证清单。
•        评审——针对系统危险分析评估、系统软硬件体系结构安全性评估、软件功能安全分析评估等工作过程和成果进行评审，形成功能安全评审清单。
•        测试——执行软件功能安全性测试用例，记录测试过程中的失效数据，验证识别的系统危险和失效模式得到覆盖和消除。

软件功能安全审定与认证的举证

•        搜集——针对软件功能安全工作目标要求，在软件需求分析、设计实现、测试验证等工作中，收集过程和成果数据，形成面向软件功能安全审定的证据信息；
•        验证——基于工作目标要求以及证据信息，构建层次化软件功能安全举证模型，自下而上综合验证各项目标要求已经得到实现，支撑软件功能安全审定认证工作。