UK MOD (PE) identified Ada as a single preferred high level language for the implementation of defence real-time operational systems. UK MOD (PE) decided to invite proposals for the High Order Language Demonstrator (HOLD) to examine the applicability of Ada to aero gas turbine FADEC. The work carried out to date is described.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Software Methodologies for Safety Critical Systems


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

    Erscheinungsdatum :

    1991


    Format / Umfang :

    21 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Software methodologies for safety critical systems

    Dolman, W.C. / Ashdown, A.M. / Moores, T.C. | Tema Archiv | 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 | Europäisches Patentamt | 2018

    Freier Zugriff