PikeOS

PikeOS
Basisdaten
Entwickler	SYSGO AG
Version	3.2 (Mai 2011)
Kernel	Mikrokernel
Lizenz	Proprietär
Sonstiges	Echtzeitbetriebssystem für sicherheitskritische Anwendungen
Website	www.sysgo.com/products/pikeos-rtos-technology/

PikeOS ist ein echtzeitfähiges Betriebssystem für sicherheitskritische Anwendungen. Es basiert auf einem Mikrokernel und wird hauptsächlich für eingebettete Systeme verwendet. PikeOS stellt voneinander unabhängige Partitionen bereit. In diesen können Programme mit unterschiedlichen Aufgaben, Sicherheitsansprüchen und Zeitanforderungen laufen ohne sich gegenseitig zu beeinflussen.

PikeOS stellt sicher, dass alle vorhandenen Betriebsmittel, wie zum Beispiel Arbeitsspeicher, eindeutig auf die Partitionen aufgeteilt werden. Partitionen haben ausschließlich auf die ihnen zugewiesenen Ressourcen Zugriff. Über konfigurierbare, gesicherte Kommunikationskanäle können Partitionen untereinander Daten austauschen oder Ressourcen teilen - soweit dieses gewünscht ist. Funktionen mit hohen Ansprüchen an die Betriebssicherheit können mit unkritischen Anwendungen, zum Beispiel auf der Basis von Linux, auf einem System kombiniert werden.

In den Partitionen können einfache Programme, Laufzeitumgebungen oder ganze Gastbetriebssysteme ausgeführt werden. PikeOS nutzt dazu Paravirtualisierung. Daher müssen Gastbetriebssysteme wie Linux an die Schnittstellen von PikeOS angepasst werden. Anwendungsprogramme können unverändert bleiben.

Das Zeitverhalten des Gesamtsystems kann umfangreich konfiguriert werden. Es ist möglich, Echtzeitbedingungen für zeitkritische Programme zu erfüllen und nebenläufig unkritische Programme auszuführen. Der Scheduler von PikeOS ist patentiert^[1].

Aufgrund der modularen Architektur, der strikten Partitionierung sowie der sehr kleinen Trusted Computing Base eignet sich PikeOS für Zertifizierungen nach Standards wie IEC 61508, DO-178B, EN 50128 und EN 62304. Bekannte Einsatzbeispiele sind die Integrierte Modulare Avionik Module des Airbus A350 sowie die Loadmaster Workstation des Airbus A400M ^[2][3].

Programmierschnittstellen und Laufzeitumgebungen

Für PikeOS sind folgende Laufzeitumgebungen, Programmierschnittstellen und Gastbetriebssysteme verfügbar

• PikeOS native interface
• ARINC 653 APEX
• POSIX PSE51 und PSE52
• Linux
• Android^[4]
• Coqos^[5]
• Real-time Java
• Ada
• RTEMS
• OSEK
• ITRON

Eine AUTOSAR Laufzeitumgebung wird derzeit für PikeOS entwickelt.

Unterstützte Hardware

PikeOS läuft auf Prozessoren mit PowerPC, x86, ARM, MIPS, SPARC und SuperH Architekturen. Um die strikte Partitionierung der Betriebsmittel sicherzustellen muss der Prozessor über eine Memory Management Unit oder Memory Protection Unit verfügen.

Seit der Version 3.1 unterstützt PikeOS multicore Systeme^[6].

Einzelnachweise

1. ↑ Patent über ein Verfahren zur Verteilung von Rechenzeit in einem Rechnersystem www.wipo.int/pctdb/en/wo.jsp?IA=WO2006%2F050967
2. ↑ Virtualisierungsplattform hält im Airbus A350 XWB Einzug In: Elektronikpraxis, November 2008
3. ↑ Rheinmetall selects DO178B certifiable PikeOS from SYSGO for A400M project Englischer Artikel auf Military Embedded Systems von Dezember 2008
4. ↑ Android und Autosar laufen zeitgleich auf PikeOS Video aufgenommen auf der Messe Embedded World 2011
5. ↑ Automotive-Betriebssystem mit PikeOS Artikel auf elektronikinformationen.de von Februar 2011
6. ↑ Flexible Multi-Core-Unterstützung für zertifiziertes PikeOS Artikel auf openembedded.de von März 2010

Weblinks

• Webseite des Herstellers