Ada+B the formula for safety critical software development

Abstract

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.