Session details: Verification

Abstract only 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 commercia...

Full description

Saved in:
Bibliographic Details
Published in:SIGLOG news 2015-10, Vol.2 (4)
Format: Article
Language:English
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Abstract only 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.
ISSN:2372-3491
2372-3491
DOI:10.1145/3262780