Press Releases

Die allgegenwärtigen Mehrkern-Prozessoren nutzen in sicherheitskritischen Anwendungen immer nur einen Kern, weil die Komplexität der Hardware und ihr fehlender Determinismus eine Zertifizierung nach hohen Sicherheitsanforderungsstufen bisher nicht zugelassen hat. Dank seines konsequent modularen Designs ist es mit PikeOS erstmals gelungen, eine EN 50128 SIL 4 Zertifizierung auf multi-core Systemen zu erreichen (einschließlich SIL 4 Zertifizierung von IOMMU). Insbesondere Anbieter von Betriebssystemen haben lange Zeit versucht, diese Probleme zu lösen, um Herstellern von sicherheitskritischen Anwendungen die Leistungsfähigkeit heutiger Mehrkern-Prozessoren zu erschließen.

Die SIL 4 Zertifizierung erfolgte im Rahmen eines aktuellen Bahnprojektes bei TÜV-SÜD, in dem PikeOS 3.4 auf einem VX3035 Board von Kontron mit Intel i7 Prozessor eingesetzt wird. Der Name des Kunden sowie das technische Vorgehen in diesem Projekt unterliegen einer Geheimhaltungserklärung. Die Struktur von PikeOS blieb jedoch unverändert, um den notwendigen Determinismus auf dem dual-core Intel® Core™ i7 Prozessor zu gewährleisten.

"Wir freuen uns, dass wir Teil dieser Weltpremiere sein dürfen", sagt Robert Negre, Leiter des Geschäftsbereichs RAIL bei Kontron. "Unsere Zusammenarbeit mit SYSGO war stets erfolgreich, aber durch die SIL 4 Zertifizierung von PikeOS auf unserem VX3035 Board wird die Wettbewerbsfähigkeit unseres gemeinsamen Angebots für alle safety-kritischen Märkte nochmals gesteigert."

SYSGO ist der weltweit einzige Anbieter eines SIL 4 zertifizierten Echtzeitbetriebssystems für Mehrkern-Prozessoren. Das Unternehmen arbeitet an der Zertifizierung multi-core basierter Systeme auch für weitere Industrien.

Über PikeOS
PikeOS ist ein Echtzeitbetriebssystem, das Virtualisierung für eingebettete Systeme bereitstellt. Dabei können mehrere virtuelle Instanzen simultan in einer geschützten Umgebung auf einer Hardware zusammengeführt werden. PikeOS wurde speziell für den Einsatz in sicherheitskritischen Anwendungen entwickelt. Auf Basis eines Mikrokerns bietet PikeOS Gastbetriebssysteme, Laufzeitumgebungen und APIs wie PikeOS Native, POSIX, Certified POSIX, ARINC-653, Linux, Android, RTEMS, AUTOSAR, iTRON etc. PikeOS Projekte sind zertifizierbar nach sicherheitskritischen Standards wie DO-178B/C, IEC 61508, EN 50128, IEC 62304, ISO 26262, MILS, CC EAL. PikeOS kann sowohl in kostensensiblen Anwendungen mit begrenzten Ressourcen als auch in großen, komplexen Systemen eingesetzt werden. Das konsequente modulare Design liefert die gleiche Performanz wie konventionelle Echtzeitbetriebssysteme bei erhöhter Gesamtsystemsicherheit.

Mehr Informationen unter www.sysgo.com/pikeos