Integrity

• Microkernel - μ-velOSity
• MMU-Schutzumgebung

Standards

• POSIX
• VxWorks-Kompatibilität
• Partitionierung nach ARINC 653

Besonderheiten

• Für Sicherheitskritsche Systeme (Zertifizert Common Criteria EAL6+ High Robustness)
• Geschwindigkeitsoptimiert
• Scheduler unterstützt mehrerer Prioritäten mit garantierten CPU-Zuteilungen
• Interrupts werden niemals maskiert und Kern vermeidet Instruktionen mit langen Laufzeiten

[Ruocco2008] bemerkt die niedrige Interruptverzögerung, preemtable Kernel

Einsatzgebiete

• Avionik/Luftfahrt
• Medizin
• Software defined Radio