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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    High integrity real-time software


    Contributors:


    Publication date :

    2007-01-01


    Size :

    17 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    High integrity real-time software

    Allerton, D. | Online Contents | 2007


    High-integrity software for automotive applications

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


    High-integrity software for automotive applications

    Cullyer, W.J. | Tema Archive | 1991


    High-Integrity Software for Automotive Applications

    Cullyer, W J | SAGE Publications | 1991


    Improving software integrity

    Online Contents | 1995