ADA, exception handling,and the Ariane 5 failure. The Ariane 5
failure is described in two reprinted articles (see references below).
Both mention the role of exception handling in the language ADA. One of
the articles observes that "Ada's exception mechanism has been criticized
in the literature, but in this case is could have been used to catch
the exception." (italics added) Read Tony Hoare's ACM Turing Award Lecture
paper in the February 1981 issue of the Communications of the ACM.
Was the problem with the use of exception handling in the Ariane 5 accident
the type of problem that Hoare had predicted would happen? [Additional
Assignment #1, page 173, Bowyer, 2nd edition.]
Jean-Marc Jezequel and Bertrand Meyer, "Design by Contract: The Lessons of
Ariane," IEEE Computer, Vol. 30, No. 1,pp. 129-130, January
Bashar Nuseibeh, "Ariane 5: Who Dunnit?" IEEE Software, Vol. 1,
No. 3, pp. 15-16, May/June 1997.