Ada+B the formula for safety critical software development
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.
- 1.See, for example IAN SOMMERVILLE & PETE SAWYER: Requirements engineering, a good practice guide; (WILEY 1997)Google Scholar
- 2.J.R. ABRIAL the B Book: Assigning programs to meanings, (Cambridge University Press 1996)Google Scholar
- 3.REAIMS web pages are available at URL: http://www.comp.lancs.ac.uk/computing/reseaxch/cseg/projects/reaimsGoogle Scholar