QNX Neutrino RTOS Safe Kernel
QNX® Neutrino® 实时操作系统安全内核经 Sira 公司认证,符合 IEC 61508 安全完整性 3级(SIL 3)认证的要求。这样,应用程序开发人员就能在这种经认证的操作平台上,顺利开发能满足最严格安全要求的安全关键型系统。
QNX Neutrino 实时操作系统的安全内核含有:
- 经 IEC 61508 SIL 3 认证的 QNX Neutrino 实时操作系统安全内核
- IEC 61508 SIL 3 认证证书(传真件)
- 认证总结报告
- 《QNX Neutrino 实时操作系统安全内核安全手册》
- QNX Neutrino 实时操作系统安全内核的安装与使用(用户指南)
QNX Neutrino RTOS 安全内核支持多种硬件平台,包括x86, PowerPC以及ARM含多核SMP能力的处理器
优势
QNX Neutrino 实时操作系统安全内核包含许多经 IEC 61508 SIL 3 认证系统的必备重要特征。这些包括:
- 设计安全状态——当内核遇到无法处理的情况时,它会迅速返回定义明确的状态
- 隔离——在应用进程之间,以及在应用进程与内核之间
- 调度可预测性——按线程优先级提供处理资源保证,防止“延迟”的资源分配,并利用专门技术(如截止期限和单调速率调度)进行调度分析
赛瑞公司(Sira)赛瑞公司是全球领先的 IEC 61508 功能安全认证服务供应商,也是英国主要的投产前认证(ATEX 与 IECEx)指定服务机构。它经英国皇家认可委员会(UKAS)认可,负责根据安全相关系统符合性评估( CASS 计划)要求,提供认证服务。 要了解更多信息,请访问赛瑞公司网站 www.siracertification.com。 IEC 61508IEC 61508 确立的一整套规范和标准,不仅适用于任务和安全关键型系统的代码生成,还适用于由此产生的最终产品。IEC 61508 提供的建议或要求:
|
IEC 61508 为许多市场专用标准提供了依据,如 ISO 26262(汽车市场)、 IEC 62304 (医疗市场)和 CENELEC EN 5012x系列(铁路运输)。