广电计量依据IEC 61508功能安全国际标准，从软件生命周期内的安全功能&安全完整性等级以及软件功能的安全评估两大方面考虑，为客户提供航空级的软件功能安全验证服务，有效提高软件产品安全性，确保产品合规性。

服务介绍

软件功能安全分析与评估

• 功能风险分析（FHA）——在投入大量时间和人力进行系统安全性评估之前，协助客户对系统预期的功能进行分析。

• 故障树分析（FTA）——通过图形化分析方法，对故障进行由上往下的演绎式失效分析。

• 失效模式及影响分析（FMEA）——识别软件存在的潜在的失效模式、评估失效模式对系统的影响、并提出有效的措施或修改意见。

• 事件树分析（ETA）——利用逻辑演绎法，对给定初因时间导致的各类事件序列结果进行分析。

软件功能安全验证

• 分析——分析检查软件需求、设计，形成软件功能安全分析验证清单。

• 评审——针对系统危险分析评估、系统软硬件体系结构安全性评估、软件功能安全分析评估等工作过程和成果进行评审，形成功能安全评审清单。

• 测试——执行软件功能安全性测试用例，记录测试过程中的失效数据，验证识别的系统危险和失效模式得到覆盖和消除。

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

• 搜集——针对软件功能安全工作目标要求，在软件需求分析、设计实现、测试验证等工作中，收集过程和成果数据，形成面向软件功能安全审定的证据信息；

• 验证——基于工作目标要求以及证据信息，构建层次化软件功能安全举证模型，自下而上综合验证各项目标要求已经得到实现，支撑软件功能安全审定认证工作。