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
Aufsatz (Konferenz)
Englisch
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
|SOFTWARE UPDATE MECHANISM FOR SAFETY CRITICAL SYSTEMS
Europäisches Patentamt | 2018
|Software Reuse in Safety-Critical Airborne Systems
IEEE | 2006
|