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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Software Methodologies for Safety Critical Systems


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

    Publication date :

    1991


    Size :

    21 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Software methodologies for safety critical systems

    Dolman, W.C. / Ashdown, A.M. / Moores, T.C. | Tema Archive | 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 | 2018

    Free access