All’alba del 4 giugno 1996, l’Europa spaziale trattenne il respiro.
Il nuovo vettore Ariane 5, simbolo di autonomia e orgoglio tecnologico, stava per compiere il suo primo volo.

Trentasette secondi dopo il decollo, si autodistrusse.
Non c’erano stati nessun sabotaggio, nessuna esplosione di carburante: solo un numero troppo grande per essere rappresentato.

“L’universo non ha obbligo di essere comprensibile.”
— Werner Heisenberg

Un semplice overflow aritmetico, nella conversione di un valore a 64 bit in un intero a 16 bit, spense entrambi i computer di bordo.
Il software, ereditato dal precedente Ariane 4, non era stato testato per le nuove velocità del razzo.
Un errore invisibile, annidato in una riga di codice “inutile”, trasformò il primo volo dell’Ariane 5 in una lezione eterna sull’affidabilità del software.

🚀 Cosa insegna l’incidente

• Il riuso del codice non è sicurezza: è una nuova progettazione da verificare ogni volta.

• Un bit fuori scala può costare mezzo miliardo di dollari.

• L’errore tecnico è spesso un errore epistemologico: confondere la mappa con il territorio.

🧩 Da allora

Dopo l’incidente, l’ESA introdusse controlli d’overflow, test indipendenti e analisi formali del codice critico.
Oggi quelle pratiche sono standard in ogni sistema spaziale e medico.
Il fallimento dell’Ariane 5 è diventato un punto di svolta: l’errore che ha reso il software più umano.

“Riutilizzare è progettare di nuovo.”

📚 Bug Survival Kit – Ariane 5 Edition

• The Mythical Man-Month — Frederick P. Brooks

• Principi di ingegneria del software — Roger Pressman

• Sette brevi lezioni di fisica — Carlo Rovelli

🧠 Leggi l’articolo completo: → Ariane 5 — Il razzo che si schiantò per un numero troppo grande

Grazie per essere qui,
— Anairesis
CodexSprawl.com

Come sempre:
☕ Questo nodo della rete è alimentato da conoscenza libera e caffeina.
Se ti è utile, puoi supportare il progetto qui: Offrimi un caffè

🛰️ Non vuoi perderti il prossimo articolo?
Iscriviti alla Sprawlletter → codexsprawl.com/newsletter