QNX Erstes RTOS ist zertifiziert für funktionale und Daten-Sicherheit

Redakteur: Dipl.-Ing. (FH) Hendrik Härter

Einen Betriebssystem-Kernel für Hersteller von betriebskritischen Systemen stellt QNX vor. Mit dem RTOS sollen vor allem Zeit- und Kosten gespart werden. Und das bei der Sicherheitszertifizierung von Medizintechnik-, Automotive- und Industrieprodukten.

Anbieter zum Thema

Das RTOS Certified Plus Kernel ist der einzige Betriebssystem-Kernel, der sowohl über eine Zertifizierung gemäß IEC 61508 Safety Integrity Level 3 (SIL 3), als auch gemäß Common Criteria ISO/IEC 15408 Evaluation Assurance Level 4+ (EAL 4+) verfügt. Damit bietet das System einen entscheidenden Wettbewerbsvorteil für Gerätehersteller, die strenge Sicherheitsanforderungen erfüllen müssen.

Die unabhängige Validierung und Zertifizierung nach IEC 61508 SIL 3 gewährleistet, dass der Neutrino RTOS Certified Plus Kernel eine sehr hohe Zuverlässigkeit und Risikominimierung in sicherheitsrelevanten Systemen erreicht. Dies ist besonders in der Medizintechnik, im Transportbereich, der Energieerzeugung oder auch in der Prozesssteuerung, aber auch in anderen Branchen wichtig.

Die Zertifizierung nach Common Criteria durch ein entsprechend zertifiziertes Labor gewährleistet, dass der Kernel die für EAL 4 erforderlichen Anforderungen erfüllt. Um dies zu erreichen, muss ein Produkt methodisch entwickelt werden, den funktionalen Sicherheitsbedingungen entsprechen und validiert sein.

Für Systeme mit einer hohen Ausfallsicherheit

Der Neutrino RTOS Certified Plus Kernel wurde speziell für Systeme entwickelt, die eine hohe Ausfallsicherheit erfordern. Dies wird durch eine modulare Mikrokernel-Architektur erreicht, in der alle Anwendungen, Gerätetreiber, Dateisysteme und Netzwerk-Stacks als separate Prozesse in geschützten Speicherbereichen laufen. Der Kernel erlaubt zudem als einziger zertifizierter RTOS-Kernel eine Parallelverarbeitung für Multi-Core-basierte Designs.

Außerdem wird eine adaptive Partitionierung unterstützt, eine besonders effiziente Form der CPU-Zeitpartitionierung, mit der sich eine Monopolisierung der CPU durch böswilligen Code oder DoS-Angriffe (Denial-of-Service) verhindern lässt. Hinzu kommt, dass der Certified Plus Kernel POSIX-konform ist, so dass Anwendungsentwickler flexibel Anwendungen auf verschiedene Plattformen portieren können.

(ID:25979300)