Abstract
The technical column on verification presents an invited contribution by Darren Cofer (Rockwell Collins Advanced Technology Center) titled "You Keep Using That Word" in this issue of the SIGLOG newsletter. The "Word" refers to certification of software for commercial aircraft. Papers on formal methods and other software verification techniques often use the need to verify safety critical software as motivation for the work. The certifying authority in the US for commercial airline software is the Federal Aviation Administration (FAA), which recently released DO-178B titled Software considerations in airborne systems and equipment certification---an official guideline for certifying avionics software. The article provides an overview of the DO- 178B document and the accompanying Formal Methods Supplement DO-333, which lay out the conditions under which tools based on formal methods can be leveraged to certify avionics software. This article provides an introduction to these documents for the formal methods audience, which I believe to be extremely timely.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
