UK MOD (PE) identified Ada as the single preferred high level language for the implementation of defence real-time operational systems from 1 July 1987. This meant that projects selecting an implementation language after that time must select Ada, unless there are sound and documented reasons for using an alternative. UK (MOD) PE therefore decided to invite proposals for the High Order Language Demonstrator (HOLD) to examine the applicability of Ada to an aero gas turbine FADEC, and awarded the contract to Lucas Aerospace Ltd, Birmingham. This paper describes the work carried out to date by Lucas Aerospace on this contract.
Software methodologies for safety critical systems
Software-Methodologien für sicherheitskritische Systeme
1991
21 Seiten, 11 Bilder
Conference paper
English
Software Methodologies for Safety Critical Systems
NTIS | 1991
|Software Methodologies for Safety Critical Systems
British Library Conference Proceedings | 1991
|SYSTEMS & SOFTWARE - Safety-critical software for aerospace systems.
Online Contents | 2004
Software testing of safety critical systems
TIBKAT | 1983
|