The Efficacy of DO-178B
This highlights a critical gap in safety validation for the aviation industry, potentially impacting regulatory practices and software development standards.
The paper addresses the lack of experimental data on the efficacy of DO-178B, a safety standard for avionic software, noting that it appears effective as no hull loss accidents have been attributed to software failure, but warns that without understanding why it works, there is a risk of inadvertently removing critical practices.
DO-178B was based on the consensus of the avionic software community as it existed in 1992. Twenty two years after publication, we have no publically available experimental data as to its efficacy. It appears to work extremely well, since there have been no hull loss accidents in passenger service ascribed to software failure. This is a comforting and surprising result. However, if we don't know why DO-178B works so well, there is a danger that we could stop doing something that really matters, which could lead to an accident.