Cart
0
Product
Products
(empty)
No products
To be determined
Shipping
$0.00
Total
Product successfully added to your shopping cart
Quantity
Total
There are 0 items in your cart.
There is 1 item in your cart.
Total products
Total shipping
To be determined
Total
New
Reduced price!
View larger
View larger
RTCA DO-333
New product
RTCA DO-333 2011 Edition, December 13, 2011 Formal Methods Supplement to DO-178C and DO-278A
More info
Description / Abstract:
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.
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.