A HISTÓRIA NÃO CONTADA DO DESASTRE DO ARIANE 5

Video del canale Renato Augusto su Ariane 5, collegato nella sua scheda di Above Ten Thousand. Durata: 44:17. Lingua: portoghese. Tipo di video: Documentario.

Documentario in portoghese, prodotto da un canale di ingegneria del software, che ricostruisce il fallimento del volo inaugurale dell'Ariane 5, lanciato il 4 giugno 1996 dal Centro Spaziale di Kourou, nella Guyana Francese. Il razzo trasportava i quattro satelliti scientifici della missione Cluster, destinati a studiare il campo magnetico terrestre e il vento solare, e fu distrutto pochi secondi dopo il decollo. Il racconto segue l'indagine della commissione presieduta dal matematico Jacques-Louis Lions e usa questo caso per parlare delle pratiche di sviluppo software nei sistemi critici.

Il video ripercorre la nascita della famiglia Ariane: la fondazione dell'ESA nel 1975, il primo volo dell'Ariane 1 nel dicembre 1979, i miglioramenti degli Ariane 2 e 3 e l'arrivo nel 1988 dell'Ariane 4, un lanciatore modulare che rese l'Europa leader del mercato commerciale. Spiega che l'Ariane 5 fu concepito a metà degli anni Ottanta per lanciare l'aereo spaziale con equipaggio Hermes. Dopo l'incidente del Challenger nel 1986, quel programma fu riprogettato più volte fino alla sua cancellazione nel 1992. Da allora, l'Ariane 5 iniziò a essere presentato come successore commerciale dell'Ariane 4, sotto forti pressioni di calendario e di budget.

Secondo il rapporto della commissione citato nel video, il guasto ebbe origine nel sistema di riferimento inerziale (SRI), programmato in Ada. A circa 36,7 secondi dal lancio, la conversione di un valore in virgola mobile a 64 bit, legato alla velocità orizzontale, in un intero con segno a 16 bit provocò un overflow. Quella variabile era una delle tre lasciate senza protezione su un totale di sette. Il software proveniva dall'Ariane 4, la cui traiettoria non raggiungeva mai quel valore, e non era stato testato con i dati di traiettoria dell'Ariane 5. Inoltre, la funzione che fallì non aveva alcuna utilità sul nuovo lanciatore ed era stata mantenuta per comunanza. Il documentario confronta questo caso con quello del Challenger e termina ricordando che l'Ariane 5, una volta corretto, superò il centinaio di lanci riusciti.