IEC61508认证QNX Neutrino RTOS安全内核：关键系统应用的基石

本白皮书深入探讨了在安全关键型系统中使用通过IEC 61508认证的实时操作系统（RTOS）内核，如QNX Neutrino RTOS，对于确保系统安全性的重要性。IEC 61508是一个国际标准，最初于2000年发布，旨在为电气、电子和可编程电子系统的功能安全提供统一的开发实践和规范。该标准强调了软件开发生命周期中的关键流程，如正式影响分析和需求追溯性，但并未规定特定的设计方法模型。 安全内核是IEC 61508认证的核心，它必须具备关键特性，如确定性、可靠性和故障隔离能力，以达到安全完整性等级3（SIL3），这意味着其每小时危险故障率应低于千万分之一，这相当于超过1140年的运行时间。随着关键系统对复杂软件的依赖增加，IEC 61508在2010年进行了修订，以适应新的技术挑战，QNX软件系统公司在修订过程中发挥了重要作用。 开发人员在安全内核上构建应用程序时，需要一套完整的工具集、详细的文档支持和专业培训，以确保他们能够遵循标准要求，开发出既安全又可靠的系统。这些支持对于确保整个开发过程的合规性和有效性至关重要。 本白皮书提供了关于如何在具有严格安全需求的环境中成功采用IEC 61508认证的RTOS内核的实用指南，包括理解标准的核心理念、安全内核的关键特性以及开发过程中的所需支持，这对于任何致力于开发安全关键系统的企业和个人来说都是极其有价值的资源。