Reliability aspects of software for digital avionics

Report (1982)

Authors

G.J. Dekker

Simulation Reliability Flight control Quality control Avionics Certification Error analysis Computers Fault-tolerance Assurance Aircraft safety Program verification (computers) Computer systems performance Software (computers) Computer programming Computer program integrity Configioration management Automatic test equipment Flight instruments Airborne/spaceborne Digital systems

To reference this document use:

http://resolver.tudelft.nl/uuid:ee9cc634-ad05-42af-ac4b-a19bda6ad023

More Info

expand_more

Published Date

06-12-1982

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Source:

NLR-TR 82126 U

Abstract

Modern commercial transport aircraft contain digital avionics systems for more and more safety critical functions. The reliability and safety of those new systems depend on the hardware reliability and on the reliability of the embedded software. In this report, an overview is given of available methods and techniques to develop reliable software-based avionics systems, especially for safety critical functions. After a description of the differences between analog and digital systems, the policy of the FAA to certify software-based systems is presented. The subsequent chapters deal with methods to minimize the number of errors during software development, methods to remove as many errors as possible via testing and methods to minimize the effect of remaining errors during operational flights. A safety analysis regarding commonmode failures is given, followed by a short ov.erview of reliability related techniques which are used by avionics manufacturers.

Files

NLR_TR_82126_U_.pdf

(pdf | 38.7 Mb)

Download not available