The Ariane 5 software failure

@article{Dowson1997TheA5,
  title={The Ariane 5 software failure},
  author={M. Dowson},
  journal={ACM Sigsoft Software Engineering Notes},
  year={1997},
  volume={22},
  pages={84}
}
  • M. Dowson
  • Published 1997
  • Computer Science
  • ACM Sigsoft Software Engineering Notes
  • On 4 June 1996, the Ariane 501 satellite launch failed catastrophically 40 seconds after initiation of the flight sequence, incurring a direct cost of approximately $370 million. The Inquiry Board Report (IBR), clearly identifies the proximate cause of the disaster as a software failure; but in other respects is one of the more astonishing engineering documents of our time. In summary, the sequence of events was as follows: 

    Topics from this paper.

    Building a Dependable Operating System: Fault Tolerance in MINIX 3
    8
    Giant Slayer: Will You Let Software be David to Your Goliath System?
    1
    Proving safety properties of software
    2
    Test-driven fault navigation for debugging reproducible failures
    13
    Software Dysfunction: Why Do Software Fail?
    19
    Efficient Testing of Recovery Code Using Fault Injection
    50