LynxOS

Quellen

LynuxWorks

Lynxos-Beschüre

Eigenschaften

• Harte Echtzeitfähigkeit (jede Kompoenente ist in der Laufzeit vorhersagbar)
• Multitaskung und Multithreading
• MMU geschützte Adressräume
  Zweistufig:
  • Virtuelle Maschine : hard memory partitioning
  • Prozesse
• Schedulingstrategieen: FIFO, priority Quantum, Round Robin, Non-Prementive
• Deterministischer Kontextswitching
• Effizente floating-Point kontextmanagement
• Hoch Verfügbarkeitsframework
• POSIX-Schnittstelle

Grundbegriffe

virtuelle Maschine

• Time partition scheduling algorithm ARINC 653
• hard memory partitioning

Die Partitionierung erfolgt in einer Partitionierung durch Virtual Machine Configuration Table

Geschichtlich

Anwendungsgebiete

• Luftfahrt (LynxOS-178 genügt FAA DO-178B Level A - Softwarequalitätsgüte EUROCAE/ED-12B )
• Telekommunikation
• Drucker