Paper Info
Title
DO-333 Certification Case Studies.
Abstract
RTCA DO-333, Formal Methods Supplement to DO-178C and DO-278A, provides guidance for software developers wishing to use formal methods in the certification of airborne systems and air traffic management systems. This paper presents three case studies describing the use of different classes of formal methods to satisfy DO-178C certification objectives. The case studies examine different aspects of a common avionics example, a dual-channel Flight Guidance System (FGS), which is representative of the issues encountered in actual developments. The three case studies illustrate the use of theorem proving, model checking, and abstract interpretation. Each of these techniques has strengths and weaknesses and each could be applied to different life cycle data items and different objectives than those described here. Our purpose is to illustrate a reasonable application of each of these techniques to produce the evidence needed to satisfy certification objectives in a realistic avionics application. We hope that these case studies will be useful to industry and government personnel in understanding formal methods and the benefits they can provide.
Year
DOI
Venue
2014
10.1007/978-3-319-06200-6_1
Lecture Notes in Computer Science
Keywords
Field
DocType
Formal methods,certification,model checking,theorem proving,abstract interpretation
Model checking,Systems engineering,Air traffic management,Abstract interpretation,Computer science,Avionics,Guidance system,Formal methods,Certification,Strengths and weaknesses
Conference
Volume
ISSN
Citations 
8430
0302-9743
4
PageRank 
References 
Authors
0.49
4
2
Name
Order
Citations
PageRank
Darren D. Cofer121420.08
Steven M. Miller28722.89