El software para los ordenadores de vuelo del Transbordador fue escrito usando un lenguaje de alto nivel llamado HAL/S (Lenguaje de Ensamblaje de Alto-nivel/ Transbordador), similar a PL/I (Lenguaje de Programación/Uno).