Formal Testing and Debugging

• Ariane 501 - 4 June 1996

• Arithmetic overflow caused both IRS to stop - diagnostics interpreted as flight data

Previous slide

Next slide

Back to first slide

View graphic version