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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Software methodologies for safety critical systems


    Weitere Titelangaben:

    Software-Methodologien für sicherheitskritische Systeme


    Beteiligte:
    Dolman, W.C. (Autor:in) / Ashdown, A.M. (Autor:in) / Moores, T.C. (Autor:in)


    Erscheinungsdatum :

    1991


    Format / Umfang :

    21 Seiten, 11 Bilder


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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 | Europäisches Patentamt | 2018

    Freier Zugriff