The subsequent automated analysis of the Ariane code (written in Ada) was the first example of large-scale static code analysis by abstract interpretation.The failure also harmed the excellent success record of the European Space Agency's rocket family, set by the high success rate of the Ariane 4 model.Cluster was a constellation of four European Space Agency spacecraft which were launched on the maiden flight of the Ariane 5 rocket, Flight 501, and subsequently lost when that rocket failed to achieve orbit.The launch, which took place on Tuesday, 4 June 1996, ended in failure due to an error in the software design caused by assertions having been turned off, which in turn caused inadequate protection from integer overflow.
Following the failure, four replacement Cluster II satellites were built.
Ariane 5 rockets are manufactured under the authority of the European Space Agency (ESA) and the Centre National d'Etudes Spatiales.
Airbus Defence and Space is the prime contractor for the vehicles, leading a consortium of other European contractors.
During the investigation, a simulated Ariane 5 flight was conducted on another inertial platform.
It failed in exactly the same way as the actual flight units.