A Single Line of Code Destroyed a Rocket | The Ariane 5 Disaster
Video del canale MasteringProgramming su Ariane 5, collegato nella sua scheda di Above Ten Thousand. Durata: 5:04. Lingua: inglese. Tipo di video: Documentario.
Di cosa parla
Video divulgativo sul fallimento del primo lancio dell'Ariane 5, il 4 giugno 1996, terminato con l'autodistruzione del razzo 37 secondi dopo il decollo. L'autore lo presenta come una lezione di ingegneria del software.
Contesto storico
L'Ariane 5 era la nuova generazione del programma europeo, più grande e potente dell'Ariane 4, da cui era stato riutilizzato software già testato in volo. Il sistema di riferimento inerziale, duplicato per ridondanza, misurava la velocità e l'orientamento per guidare il razzo.
Dati principali
Un valore di velocità orizzontale calcolato in virgola mobile a 64 bit veniva convertito in un intero con segno a 16 bit. Sull'Ariane 4 non superava mai quel limite, ma la maggiore accelerazione dell'Ariane 5 provocò un overflow: il software lanciò un'eccezione e si arrestò, e il sistema di backup, con lo stesso codice, fallì quasi nello stesso istante. Il computer di bordo prese i dati errati per reali e ordinò correzioni estreme degli ugelli; sottoposto a grandi sollecitazioni strutturali, il razzo attivò l'autodistruzione. Il video stima la perdita in 370 milioni e riassume le cause individuate dall'indagine: una conversione superflua dopo il decollo, software riutilizzato senza riesaminarne le ipotesi, assenza di gestione dell'eccezione e controlli di sicurezza disattivati per guadagnare prestazioni.