博鱼体育平台

欢迎莅临博鱼体育平台专业平台!
服务热线 400-602-0999
功能安全测试
博鱼体育平台专业平台依据IEC 61508功能安全国际标准,从软件生命周期内的安全功能&安全完整性等级以及软件功能的安全评估两大方面考虑,为客户提供航空级的软件功能安全验证服务,有效提高软件产品安全性,确保产品合规性。
服务介绍

软件功能安全分析与评估

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

软件功能安全验证

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

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

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

如果您的浏览器未跳转,请点击此处进行游戏并领取优惠