Ariane 5: The Integer Overflow That Destroyed a Rocket (Ep. 726)
Vídeo do canal DatabaseHistory sobre Ariane 5, ligado na sua ficha do Above Ten Thousand. Duração: 6:08. Idioma: inglês. Tipo de vídeo: Documentário.
Sobre o que trata
Episódio divulgativo, com recriações e gráficos, sobre a falha do primeiro voo do Ariane 5, a 4 de junho de 1996. A causa foi um overflow numérico no software de guiamento.
Contexto histórico
O programa do sistema de referência inercial foi transferido diretamente do Ariane 4, com a lógica de que um código com histórico de voo é mais fiável do que um código novo. Mas os seus pressupostos já não eram válidos para um lançador mais potente. O Ariane 5 seguia uma curva de subida mais inclinada e a velocidade horizontal medida superava largamente os valores do modelo anterior.
Dados em destaque
A falha ocorreu ao converter um número de vírgula flutuante de 64 bits num inteiro com sinal de 16 bits, que não admite valores superiores a 32.767. A proteção contra esse overflow tinha sido suprimida para esta variável no Ariane 4 para poupar ciclos de processamento. Sem tratamento do erro, a unidade principal desligou-se. A unidade de reserva, com o mesmo software, falhou da mesma forma milissegundos depois. O computador de voo, sem dados válidos, ordenou deflexões máximas dos bocais para corrigir uma rotação inexistente, e as cargas aerodinâmicas destruíram o veículo. O episódio conclui que qualquer mudança de arquitetura num sistema de tempo real obriga a revalidar os limites e intervalos do software.