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.
High integrity real-time software
2007-01-01
17 pages
Article (Journal)
Electronic Resource
English
High integrity real-time software
Online Contents | 2007
|High-integrity software for automotive applications
Tema Archive | 1991
|High-integrity software for automotive applications
Automotive engineering | 1991
|High-Integrity Software for Automotive Applications
SAGE Publications | 1991
|Online Contents | 1995