Accession Number : ADP006487

Title :   Software Methodologies for Safety Critical Systems,

Corporate Author : LUCAS AEROSPACE LTD BIRMINGHAM (UNITED KINGDOM) ENGINE SYSTEMS DIV

Personal Author(s) : Dolman, W. C. ; Ashdown, A. M. ; Moores, T. C.

Report Date : SEP 1991

Pagination or Media Count : 21

Abstract : 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.

Descriptors :   *ADA PROGRAMMING LANGUAGE, *GAS TURBINES, *COMPUTER APPLICATIONS, *MILITARY APPLICATIONS, CONTRACTS, HIGH LEVEL LANGUAGES, LANGUAGE, PAPER, REAL TIME, SOUND, TIME, TURBINES, WORK, GREAT BRITAIN.

Subject Categories : Computer Programming and Software
      Jet and Gas Turbine Engines

Distribution Statement : APPROVED FOR PUBLIC RELEASE