Ada+B the formula for safety critical software development

  • Pierre Chapront
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1411)


Based on a fifteen years experience in safety related software design our opinion is that the combination of an efficient formal method and the use of Ada is the best way to reach the total correctness requested by safety. Although these types of methods may appear as grim, they are not very difficult to learn and give finally to their users the satisfaction of producing a high quality work, at the lowest possible cost for this quality. We hope that these methods will find new users for the greatest benefit of the software engineering community.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    See, for example IAN SOMMERVILLE & PETE SAWYER: Requirements engineering, a good practice guide; (WILEY 1997)Google Scholar
  2. 2.
    J.R. ABRIAL the B Book: Assigning programs to meanings, (Cambridge University Press 1996)Google Scholar
  3. 3.
    REAIMS web pages are available at URL: Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Pierre Chapront
    • 1
  1. 1.GEC Alsthom TransportSaint OuenFrance

Personalised recommendations