Within the past decade, software has become an increasingly common element in computing systems. In particular, the role of software used in the aerospace industry, especially in life- or safety-critical applications, is rapidly expanding. This intensifies the need to use effective techniques for achieving and verifying the reliability of avionics software. Although certain software development processes and techniques are mandated by government regulating agencies, no one methodology has been shown to consistently produce reliable software. The knowledge base for designing reliable software simply has not reached the maturity of its hardware counterpart. In an effort to increase our understanding of software, the Langley Research Center conducted a series of experiments over 15 years with the goal of understanding why and how software fails. As part of this program, the effectiveness of current industry standards for the development of avionics is being investigated. This study involves the generation of a controlled environment to conduct scientific experiments on software processes.
Study of Software Standards Used in the Avionics Industry
1994
21 pages
Report
No indication
English
Avionics , Space Safety , Computer Software , Aerospace industry , Computer program integrity , Computer programming , Experiment design , Failure analysis , Research facilities , Software engineering , Standards , Computer programs , Architecture (Computers) , Data acquisition , Software tools , Test equipment
A Study of Software Standards Used in the Avionics Industry
British Library Conference Proceedings | 1994
|`Avionics software - from military standards to commercial standards'
British Library Conference Proceedings | 1996
|The impact of safety-critical systems standards on avionics software
British Library Conference Proceedings | 1992
|