16 DO-333 and Formal Methods
Acronym
| CFD | computational fluid dynamics |
| DARPA | Defense Advanced Research Projects Agency |
| FAA | Federal Aviation Administration |
| IEC | International Electrical Technical Commission |
| ISO | International Standards Organization |
| NASA | National Aeronautics and Space Administration |
16.1 Introduction to Formal Methods
Engineering as a whole relies heavily on mathematical models to make informed judgments about designs. However, software development has traditionally been less formal—maybe even ad hoc at times, with testing at the end of the project to confirm its goodness. The goal of formal methods is to bring the same mathematical basis used for other engineering disciplines to the digital world, to both software and ...
Get Developing Safety-Critical Software now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
