A HISTÓRIA NÃO CONTADA DO DESASTRE DO ARIANE 5
Vídeo do canal Renato Augusto sobre Ariane 5, ligado na sua ficha do Above Ten Thousand. Duração: 44:17. Idioma: português. Tipo de vídeo: Documentário.
Sobre o que trata
Documentário em português, produzido por um canal de engenharia de software, que reconstrói a falha do voo inaugural do Ariane 5, lançado em 4 de junho de 1996 a partir do Centro Espacial de Kourou, na Guiana Francesa. O foguete transportava os quatro satélites científicos da missão Cluster, destinados a estudar o campo magnético terrestre e o vento solar, e foi destruído poucos segundos após a decolagem. O relato acompanha a investigação da comissão presidida pelo matemático Jacques-Louis Lions e usa esse caso para falar das práticas de desenvolvimento de software em sistemas críticos.
Contexto histórico
O vídeo recorda como nasceu a família Ariane: a fundação da ESA em 1975, o primeiro voo do Ariane 1 em dezembro de 1979, as melhorias dos Ariane 2 e 3 e a chegada em 1988 do Ariane 4, um lançador modular que tornou a Europa líder do mercado comercial. Explica que o Ariane 5 foi concebido em meados da década de 1980 para lançar o avião espacial tripulado Hermes. Após o acidente do Challenger em 1986, esse programa foi redesenhado várias vezes até ser cancelado em 1992. Desde então, o Ariane 5 passou a ser apresentado como sucessor comercial do Ariane 4, sob forte pressão de calendário e orçamento.
Dados em destaque
Segundo o relatório da comissão citado no vídeo, a falha teve origem no sistema de referência inercial (SRI), programado em Ada. Por volta dos 36,7 segundos de voo, a conversão de um valor de vírgula flutuante de 64 bits, ligado à velocidade horizontal, para um inteiro com sinal de 16 bits provocou um overflow. Essa variável era uma das três que tinham sido deixadas sem proteção, de um total de sete. O software vinha do Ariane 4, cuja trajetória nunca atingia esse valor, e não tinha sido testado com os dados de trajetória do Ariane 5. Além disso, a função que falhou não tinha qualquer utilidade no novo lançador e tinha sido mantida por comunalidade. O documentário compara este caso com o do Challenger e termina recordando que o Ariane 5, depois de corrigido, superou a centena de lançamentos bem-sucedidos.
