Details
PikeOS ist ein innovatives Echtzeitbetriebssystem, welches eine Virtualisierungsplattform für eingebettete Systeme bereitstellt, bei der mehrere virtuelle Maschinen simultan in einer geschützten Umgebung auf einer Hardware zusammengeführt werden können. PikeOS wurde speziell für den Einsatz in sicherheitskritischen Anwendungen entwickelt und bietet Gastbetriebssysteme, Laufzeitumgebungen und APIs wie POSIX, ARINC-653, Linux, Ada, Java, Android™ etc. auf Basis eines Mikrokernels.
PikeOS Projekte sind zertifizierbar nach sicherheitskritischen Standards wie DO-178B, IEC61508, EN 50128, ISO 26262, IEC 62304, MILS oder CC EAL.
Produktbeschreibung
Einsatzgebiet
sicherheitskritische Anwendungen: Avionik, Steuerung, Fahrzeuge
Echtzeiterweiterung für Windows bzw. Linux
Nähere Beschreibung des Echtzeitbetriebssystems
Echtzeitbetriebssystem mit Erweiterungen wie Dateisystem, Virtualisierungsplattform auf Basis eines Mikrokernels
Hardwareplattformen (Zielsystem)
Weitere Hardwareplattformen
SPARC V8, LEON, SH4
Eigenschaften und Hilfsmittel für die Zielsysteme
Erfüllbare Echtzeitfähigkeit
hart
Erreichbare Verfügbarkeit (Ausfallsicherheit beim Einsatz auf der Zielhardware)
hochverfügbar
Bedienoberfläche
grafisch
Entwicklungs-Tools
CODEO (Eclipse-basierend)
Entwicklung auf dem Zielsystem oder Cross-Entwicklungsumgebung
Cross-Entwicklungumgebung
Verfügbare Programmiersprachen
C, C++, Java, Ada, SoftSPS
Tools zur Systemanalyse
ja (Tracing)
Ressourcen
Speicherbedarf für das Betriebssystem von
512 MB RAM
Dynamisches Hinzuladen von Komponenten
möglich
Architektur
Client/Server-Betriebssystem
Mehrprozessorunterstützung
multi-core (lose gekoppelt)
Schedulingverfahren zur Prozessorzuteilung
Time-Slice, Guaranteed Percentage, FPP
Multitasking: Maximale Taskanzahl
2047
Besonderheiten Multitasking
prioritätengesteuertes preemptives Multitasking
Maximale Anzahl von Prioritätsebenen
253
Single-Process-Multi-Thread
Multi-Prozess-Multi-Thread
Adressraumstruktur
mehrere gegenseitig geschützte Adressräume
Besonderheiten beim Speichermanagement
Memory Protection
Portierbarkeit auf andere Zielsysteme
sehr gering
Mögliche Funktionalität
Grafische Benutzeroberflächen erstellen
Ein-/Ausgabemöglichkeiten
Dateisystem
ext2, FAT (16- und 32 bit), NFS2 via UDP
Unterstützte Feldbusse
CAN
Drahtlose Kommunikation
über Linux
Dienstleistungen