PikeOS ist ein Echtzeitbetriebssystem des Unternehmens SYSGO. Es bietet einen Hypervisor basierend auf einem Separation-Kernel mit verschiedenen Partitionstypen für zahlreiche Betriebssysteme (sogenannte Gastbetriebssysteme) und Anwendungen. PikeOS ermöglicht die Entwicklung zertifizierbarer intelligenter Geräte für das Internet der Dinge gemäß den Qualitäts- und Sicherheitsstandards verschiedener Branchen, insbesondere der Avionik, Automobilindustrie, Bahnwesen, Medizintechnik und der Industrie 4.0. Für sicherheitskritische Echtzeitanwendungen auf Controller-basierten Systemen ohne Memory Management Unit (MMU), aber mit Memory Protection Unit (MPU), ist PikeOS for MPU verfügbar.
Details PikeOS kombiniert ein Echtzeitbetriebssystem mit einer Virtualisierungsplattform und einer Eclipse-basierten integrierten Entwicklungsumgebung (IDE) für eingebettete Systeme. Das PikeOS-Echtzeitbetriebssystem wurde für sicherheitskritische Anwendungen mit Zertifizierungsanforderungen in den Bereichen Luft- und Raumfahrt, Automobil- und Transportwesen, Industrielle Automation & Medizin, Netzwerkinfrastruktur und Verbraucherelektronik entwickelt. Neben den Safety-Vorzertifizierungen ist der PikeOS Separation Kernel (Version 5.1.3) nach Common Criteria auf Stufe EAL5+ zertifiziert.
PikeOS ermöglicht die Ausführung von Anwendungen mit unterschiedlichen Sicherheitsstufen durch räumliche und zeitliche Trennung mittels Softwarepartitionen auf derselben Plattform. Eine Softwarepartition fungiert als Container mit vorab zugewiesenen Berechtigungen für Speicher, CPU-Zeit, Ein-/Ausgaben und den Zugriff auf eine Liste von PikeOS-Services. Der Begriff "Applikation" bezieht sich auf ein ausführbares Programm, das mit der PikeOS-API-Bibliothek verknüpft ist und als Prozess innerhalb einer Partition läuft. Dank der PikeOS-API können Anwendungen von einfachen Regelkreisen bis hin zu komplett virtualisierten Gastbetriebssystemen wie Linux oder Hardware-virtualisierten Gastbetriebssystemen reichen.
600px|Beispiel Ressourcen- und Zeitpartitionierung
Softwarepartitionen werden auch als virtuelle Maschinen bezeichnet, da es möglich ist, ein vollständiges Gastbetriebssystem in einer Partition zu implementieren, das unabhängig von anderen Partitionen läuft und somit Anwendungsfälle mit gemischter Kritikalität unterstützen kann. PikeOS kann als Typ-1-Hypervisor betrachtet werden.
Unterstützte Toolchain / CODEO IDE Die Eclipse-basierte CODEO-IDE bietet grafische Konfigurationstools und integrierte Entwicklungswerkzeuge für eingebettete Anwendungen, darunter: Geführte Konfiguration Remote Debugging (bis hinunter auf die Ebene der Hardwareanweisungen) Zielhardware-Monitoring Bereitstellung von Remoteanwendungen Timing-Analyse
Durch grafische Ansichten zur Bearbeitung behält der Systemintegrator den Überblick über Aspekte der PikeOS-Systemkonfiguration, einschließlich Partitionstypen, Terminierung, Kommunikationskanäle, gemeinsam genutzter Speicher und E/A-Gerätekonfiguration innerhalb von Partitionen. Projekte können mit wiederverwendbaren Templates definiert und an Entwicklungsgruppen verteilt werden. Benutzer können vordefinierte Komponenten für ihre Projekte verwenden und weitere Komponenten definieren und hinzufügen.
Für PikeOS unterstützte Zertifizierungsstandards Safety: DO-178C ECSS EN 50128 / EN 50657 IEC 61508 ISO 26262 IEC 62304
Security: Common Criteria SAR
Partnersystem Folgende Hersteller unterstützen PikeOS: Board-Lieferanten: Curtiss-Wright Controls Embedded Computing, Kontron, MEN, ABACO Silicon-Lieferanten: NXP, Renesas, TI, Xilinx, Infineon, Nvidia, Intel Software-Partner: CoreAVI, Aicas, AdaCore, ANSYS, RTI, PrismTech, Datalight, Systerel, Imagination Technologies, RAPITA Tool-Partner: Lauterbach, Vector Software, Rapita, iSYSTEM Unterstützte Architekturen: ARM, PPC, x86, SPARC, RISC-V
Unterstützte Gastbetriebssysteme: Linux oder Android (idealerweise SYSGOs Linux-Distribution ELinOS) POSIX PSE51 mit PSE52 Erweiterung ARINC 653 Windows RTEMS Java AUTOSAR Ada (inkl. Ravenscar Profil) weitere auf Anfrage
End-of-Life-Überblick PikeOS +ProdukttypProduktversionVerknüpfte CODEO-VersionVerknüpfte ELinOS-VersionEOLPikeOS3.4 (non cert)5.0, 6.0, 6.1, 6.25.2Seit 2017-12PikeOS3.4 (cert)5.0, 6.0, 6.1, 6.25.2LTS auf x86PikeOS3.55.0, 6.0, 6.1, 6.26.0, 6.1Seit 2017-12PikeOS4.06.0, 6.1, 6.26.0, 6.1Seit 2019-06PikeOS4.16.1, 6.26.1Seit 2021-04PikeOS4.2 (non cert)6.26.2CandidatePikeOS4.2 (cert)6.26.2AktuellPikeOS5.0 (non cert)7.0, 7.17.0AktuellPikeOS5.0 (cert)7.0, 7.17.0AktuellPikeOS5.1 (non-cert)7.17.0AktuellPikeOS5.1 (cert)7.17.0Aktuell Erläuterung:
„Candidate“ bedeutet, dass derzeit darüber diskutiert wird, wann und wie der EOL-Prozess für diese Version beginnt.
„LTS“ bedeutet, dass langfristiger Support verfügbar ist.
„Aktuell“ bezieht sich auf die aktuelle Version.
„Planned“ bedeutet die nächste geplante Version.
Weblinks SYSGO Website PikeOS Produktseite PikeOS for MPU Produktseite PikeOS Datenblatt (PDF; 204 kB) PikeOS Flyer (PDF; 302 kB) PikeOS End-of-Life (PDF) Ralph Hülsenbusch: Embedded-Betriebssystem PikeOS mit Hardware-Virtualisierung, iX – Magazin für professionelle Informationstechnik, 18. Juli 2014 Joachim Kroll: PikeOS von Sysgo: Betriebssystem für Safety und Security, Elektronik (Zeitschrift), 2. August 2016 Sebastian Gerstl: PikeOS nun auch als KI-basierte automobile Softwareplattform im Einsatz, Embedded Software-Engineering, 5. September 2017 Wolfram Funk: Sysgo entwickelt RTOS für sicherheitskritische Controller-basierte Systeme, SECTANK, 26. Oktober 2021
Einzelnachweise
Kategorie:Echtzeitbetriebssystem Kategorie:POSIX-konformes Betriebssystem