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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Software methodologies for safety critical systems


    Additional title:

    Software-Methodologien für sicherheitskritische Systeme


    Contributors:
    Dolman, W.C. (author) / Ashdown, A.M. (author) / Moores, T.C. (author)


    Publication date :

    1991


    Size :

    21 Seiten, 11 Bilder


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Software Methodologies for Safety Critical Systems

    W. C. Dolman / A. M. Ashdown / T. C. Moores | NTIS | 1991


    Software Methodologies for Safety Critical Systems

    Dolman, W. C. / Ashdown, A. M. / Moores, T. C. et al. | British Library Conference Proceedings | 1991




    Software update mechanism for safety critical systems

    BUJAN EDUARDO | European Patent Office | 2022

    Free access