Ariane 5: The Integer Overflow That Destroyed a Rocket (Ep. 726)
Video del canale DatabaseHistory su Ariane 5, collegato nella sua scheda di Above Ten Thousand. Durata: 6:08. Lingua: inglese. Tipo di video: Documentario.
Di cosa parla
Episodio divulgativo, con ricostruzioni e grafici, sul fallimento del primo volo dell'Ariane 5, il 4 giugno 1996. La causa fu un overflow numerico nel software di guida.
Contesto storico
Il programma del sistema di riferimento inerziale fu trasferito direttamente dall'Ariane 4, secondo la logica che un codice con storico di volo è più affidabile di uno nuovo. Ma i suoi presupposti non erano più validi per un vettore più potente. L'Ariane 5 seguiva una curva di salita più ripida e la velocità orizzontale misurata superava di gran lunga i valori del modello precedente.
Dati salienti
Il guasto si verificò durante la conversione di un numero in virgola mobile a 64 bit in un intero con segno a 16 bit, che non ammette valori superiori a 32.767. La protezione contro questo overflow era stata rimossa per questa variabile sull'Ariane 4 per risparmiare cicli di elaborazione. Senza gestione dell'errore, l'unità principale si spense. L'unità di riserva, con lo stesso software, fallì nello stesso modo pochi millisecondi dopo. Il computer di volo, senza dati validi, ordinò deflessioni massime degli ugelli per correggere una rotazione inesistente, e i carichi aerodinamici distrussero il veicolo. L'episodio conclude che ogni cambio di architettura in un sistema in tempo reale impone di rivalidare i limiti e gli intervalli del software.