核安全性试验

安全认证解决方案降低了风险和成本,并解决复杂问题,如混合关键性

Nucleus®SafetyCert™是一个安全认证,面向高性能的实时操作系统(RTOS)和中间件包,下一代应用程序。这些应用需要满足许多行业的严格安全和监管要求,包括航空电子设备,工业,医疗,和汽车。

Nucleus SafetyCert满足了对高可靠性软件日益增长的需求,缩短了获得监管认证的途径。金宝博滚球专家Nucleus SafetyCert产品是一个完整的解决方案,具有已获得第三方认证的行业特定文档和工件。

图像

Nucleus SafetyCert获得T_V S_D认证

查看证书

细节

为需要安全认证和监管批准的设备提供解决方案

Nucleus SafetyCert产品包括核RTOS内核核过程模型支持空间划分,运行库,连接中间件,网络,和数据存储。

认证包包括源代码和基于行业特定要求的以下文档:

  • 金宝博滚球专家软件开发
  • 金宝博滚球专家软件配置管理
  • 金宝博滚球专家软件质量保证
  • 金宝博滚球专家软件需求
  • 金宝博滚球专家软件设计标准
  • 金宝博滚球专家软件编码标准
  • 金宝博滚球专家软件验证
  • 金宝博滚球专家软件测试计划
  • 完整的软件测试套件金宝博滚球专家
  • 安全手册

nucleus safetycart文档和工件在整个安全生命周期中具有清晰的可追溯性,为便于导航,可以简化审核和审查,这些都是超链接的。


解决广泛的垂直市场

Nucleus SafetyCert已经过验证和记录,以满足设备制造商的认证要求,为需要DO-178C A级的航空电子设备开发安全相关软件。金宝博滚球专家工业要求IEC 61508 SIL 3,医疗要求IEC 62304 C级,以及需要ISO 26262 ASIL B的汽车。

对于混合临界设计或增加的系统可靠性,nucleus safetycart进程模型实现了一个轻量级框架,为关键和非关键功能创建内存空间分区。将核心过程模型用于混合临界设计可以降低软件设计的总体复杂性,金宝博滚球专家测试,以及通常与监管认证相关的成本。

nucleus safetycart中的每一行代码都经过了验证,已测试,并形成文档以确保运行时各个方面的功能设计需求得到满足和验证。

进一步了解导师安全计划:功能安全/ISO 26262


利用久经考验的导师开发和质量流程

Nucleus SafetyCert设计用于处理安全关键代码(最重要的软件组件),以基于经认证的操作系统创建安全可认证设备,该操作系统利用Mentor严格的质量控制流程,并由金宝博滚球专家Mentor专门的安全工程团队提供支持。

SafetyCert认证包包括测试线束,所有测试用例,以及一个完整的过程计划,使用户能够扩充文档和工件。有了Nucleus SafetyCert,用户可以对设备驱动程序和BSP进行更改,这些更改可以得到验证。已测试,并记录以供监管部门批准。

闲聊_ 接触