Design and Planning in the Development of Safety-Critical Software with ADA

Abstract

A study carried out for the European Space Agency by Oerlikon-Contraves recommends 30 approaches for improving the safety of software to be developed in Ada; recommendations are also made against the use of a further 21 approaches. Of particular significance among the recommendations are an Ada Language coding guideline, recommendations for the use of object-oriented design approaches, disciplined management practices, and early consideration of testing requirements and testability. Most of the recommended approaches are either entirely or substantially carried out in early phases of a software development project. In particular, in order to be in the position of being able to avoid “dangerous” practices at a later stage, it is necessary to plan ahead, and design-out the opportunities for such practices early on. A proper appreciation of the planning and design of safety-critical software is thus essential for a satisfactory project outcome.