HAL/S

HAL/S (limbaj de asamblare de înaltă ordine/navetă) este un compilator de limbaj de programare aerospațială în timp real și compilator încrucișat pentru aplicații avionice utilizate de NASA și agențiile asociate (JPL, etc.).

Acesta a fost utilizat în multe proiecte spațiale din SUA din 1973, iar cea mai semnificativă utilizare a fost în programul de navetă spațială (aproximativ 85% din software -ul navei a fost codat în HAL/S).

A fost proiectat de Intermetrics în 1972 pentru NASA și livrat în 1973.

HAL/S este scris în XPL, un dialect de PL/I.

Deși HAL/S este conceput în principal pentru programarea computerelor de bord, este suficient de general pentru a răspunde aproape toate nevoile în producția, verificarea și sprijinul aerospațial și alte aplicații în timp real.

Conform documentației din 2005, aceasta a fost menținută de proiectul HAL/S al United Space Alliance.