Methods to develop reliable software based avionics systems, especially for safety critical functions, are reviewed. The differences between analog and digital systems, and the policy of the FAA to certify software based systems are presented. 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 are outlined. A safety analysis regarding common-mode failures is given. Reliability related techniques used by avionics manufacturers are discussed.
Reliability Aspects of Software for Digital Avionics
1985
95 pages
Report
Keine Angabe
Englisch
Avionics , Air Transportation , Quality Control & Reliability , Certification , Computer program integrity , Computer systems performance , Quality control , Reliability , Assurance , Airborne/spaceborne computers , Aircraft safety , Automatic test equipment , Configuration management , Digital systems , Error analysis , Fault tolerance , Flight instruments , Program verification (Computers) , Foreign technology
Reliability aspects of software for digital avionics
TIBKAT | 1982
|Digital avionics design and reliability analyzer
NTRS | 1981
Digital Avionics Design and Reliability Analyzer
NTIS | 1981