Global Under Menu
  Store Options
Search for Document
New Documents
List of Available Documents
Electronic License Agreement
Order Form(PDF)
FAQs

  Categories
Home > Online Store
 DO-333 Formal Methods Supplement to DO-178C and DO-278A
Document Number: DO-333
Issue Date: 12/13/2011
Committee: SC-205
Category: Software


 MemberNon-Member
Soft Copy Price
Hard Copy Price
$0.00
$100.00
$215.00
$250.00
Soft Copy




Hard Copy

Choose Shipping Address:


This supplement identifies the additions, modifications and substitutions to DO-178C and DO-278A objectives when formal methods are used as part of a software life cycle, and the additional guidance required. It discusses those aspects of airworthiness certification that pertain to the production of software,using formal methods for systems approved using DO-178C.

Formal methods are mathematically-based techniques for the specification, development and verification of software aspects of digital systems. The mathematical basis of formal methods consists of formal logic, discrete mathematics and computer-readable languages. The use of formal methods is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analyses can contribute to establishing the correctness and robustness of a design.