This paper reviews the techniques and issues in developing high integrity real-time software in the aerospace industry. It explains the methods used to achieve high levels of reliability by deploying fault-tolerant hardware architectures. The aspects of software design and programming languages, which influence the safety of software, are introduced. The paper also outlines the need to verify the performance of real-time software. The major part of the paper focuses on the methods used in the certification of software for safety critical applications, covering software development methods used on large programmes. The standard DO-178B has been widely adopted for the certification of software for civil applications in the aerospace industry and the impact of this standard on software development methods for civil aircraft is summarized. The paper concludes with a review of future trends in software development, particularly the use of automatic code generation methods and schematic capture in the software design phase.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    High integrity real-time software


    Beteiligte:
    Allerton, D J (Autor:in)


    Erscheinungsdatum :

    01.01.2007


    Format / Umfang :

    17 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    High integrity real-time software

    Allerton, D. | Online Contents | 2007


    High-integrity software for automotive applications

    Cullyer,W.J. / Univ.of Warwick,GB | Kraftfahrwesen | 1991



    High-Integrity Software for Automotive Applications

    Cullyer, W J | SAGE Publications | 1991


    Improving software integrity

    Online Contents | 1995