Very expensive rocket explosion ! The Ariane 5 rocket disaster.
Video del canale High Voice Computing su Ariane 5, collegato nella sua scheda di Above Ten Thousand. Durata: 8:48. Lingua: inglese. Tipo di video: Documentario.
Di cosa tratta
Spiegazione del fallimento del volo 501, il primo lancio dell'Ariane 5, che il video presenta come uno degli errori di programmazione più costosi della storia e analizza dal punto di vista dello sviluppo software.
Contesto storico
Il lancio avvenne il 4 giugno 1996 da Kourou, nella Guyana Francese, con quattro satelliti a bordo. Circa 37 secondi dopo il decollo, il razzo deviò dalla sua traiettoria e i carichi risultanti lo distrussero. Il video attribuisce il fallimento al riutilizzo del software dell'Ariane 4 senza adattarlo al nuovo lanciatore, che poteva generare valori molto superiori al margine previsto.
Dati principali
L'errore fu un overflow nel sistema di riferimento inerziale (SRI) durante la conversione di un valore in virgola mobile a 64 bit in un intero con segno a 16 bit. Nei test furono usati valori piccoli e il difetto non emerse. L'SRI di riserva eseguiva lo stesso software e fallì nello stesso modo, così il computer di volo agì sulla base di letture non valide per correggere una traiettoria che non ne aveva bisogno. L'autore sostiene che il problema fu soprattutto di cultura ingegneristica, concentrata sui guasti hardware e non su quelli software. Ricorda anche che il programma continuò con molti lanci di successo e che il suo successore è l'Ariane 6.