QNX Neutrino RTOS Safe Kernel

Der QNX^® Neutrino^® RTOS Safe Kernel erfüllt die Anforderungen des Standards IEC 61508 bei Safety Integrity Level 3 (SIL 3), wie durch die Zertifizierung durch Sira offiziell bestätigt wurde. Er stellt damit eine zertifizierte Plattform für sicherheitskritische Systeme mit hohen Anforderungen an die funktionale Sicherheit dar.

Der QNX Neutrino Safe Kernel 1.0 basiert auf der QNX SDP 6.5.0, enthalten sind die folgenden Komponenten:

• Der QNX Neutrino RTOS Safe Kernel, zertifiziert nach IEC 61508 SIL 3
• Abdruck des Original IEC 61508 SIL 3 Zertifikats
• Zertifikationsabschlussbericht
• Das "QNX Neutrino RTOS Safe Kernel Safety Manual"
• "Installing and Using the QNX Neutrino RTOS Safe Kernel" (Benutzerhandbuch)

Der QNX Neutrino RTOS Safe Kernel läuft auf x86-, Power- sowie ARM-Plattformen inklusive Multicore-Unterstützung durch SMP.

Vorteile

Der QNX Neutrino RTOS Safe Kernel bringt einige wichtige Eigenschaften mit, die beim Aufbau eines IEC 61508 SIL konformen Systems essenziell sind, u.a.:

• Definierter Design Safe State - wenn der Kernel ein Problem feststellt, das er nicht lösen kann, wechselt er in einen definierten sicheren Zustand 
• Isolation - alle Applikations - und Systemprozesse sind voneinander und vom Kernel isoliert
• Vorhersagbares Scheduling - mittels Thread-Prioritäten wird vorhersagbares Zeitverhalten gewährleistet, ebenso wie durch Mechanismen zur Vermeidung der Nichtverfügbarkeit wichtiger Ressourcen, so dass Scheduling-Analyse mittels Deadline- oder Rate Monotonic-Technik möglich ist

Wer ist Sira? Sira ist einer der weltweit größten Dienstleister im Bereich der Zertifizierungen zur funktionalen Sicherheit nach IEC 61508 und die größte offiziell benannte Stelle in Großbritannien für die Zertifizierung von "Ex-Produkten" (ATEX und IECEx). Ernannt wurde Sira durch den United Kingdom Accreditation Service (UKAS), um Zertifizierungsarbeiten gemäß des CASS Scheme (Conformity Assessment of Safety-related Systems) durchzuführen. Um mehr über Sira zu erfahren, besuchen Sie die Sira-Webseite unter www.siracertification.com. IEC 61508 IEC 61508 regelt Vorgehensweisen und Standards nicht nur bezüglich der Erstellung von Code für sicherheitskritische Systeme, sondern auch bezogen auf das daraus hervorgehende Gesamtsystem. IEC 61508 beschreibt Empfehlungen und Anforderungen für: Anzuwendende Prozesse für den Entwicklungslebenszyklus von Software in sicherheitskritischen Systemen Anzuwendende Techniken und Werkzeuge Konkrete Maßgrößen für die Ausfallwahrscheinlichkeit bezüglich Systemen im "Low Demand", "High Demand" sowie "Continuous" Mode.

Das Zertifikat von SIRA

IEC 61508 ist die Basis für viele branchenspezifische Standards wie z.B. ISO 26262 (Automotive), IEC 62304 (Medizintechnik) und die CENELEC EN 5012x Serie (Bahn).