Formal Verification for DO-254 (and Other Safety-Critical) Designs
White Paper
ABSTRACT
Formal Verification (a.k.a., Formal Methods) is one of the few technologies mentioned by the RTCA/DO-254 document. It is listed as an example of an acceptable method for Appendix B "Advanced Verification" requirements for level A/B designs. However, many people (hardware applicants and certification authorities alike) do not have a good understanding of what Formal Verification is, how it works, and how it can or should be used within DO-254 programs. Using simple language, analogies and examples, this paper introduces Formal Verification in the context of its use for DO-254 and/or safety-critical programs, taking the ambiguity out of this powerful verification method.
Related Resources
ModelSim PE Simulation Download and Trial
Software EvaluationModelSim PE Simulation Download and Trial
Now is your opportunity for a risk free 21-day trial of the industry’s leading simulator with full mixed language support for VHDL, Verilog and SystemVerilog and a comprehensive debug environment...
Understanding DO-254 and Solutions to Facilitate...
White PaperUnderstanding DO-254 and Solutions to Facilitate Compliance
RTCA/DO-254 (also known as DO-254 in the US or ED-80 in Europe) provides guidelines to facilitate requirements-based design of airborne electronic hardware. Now mandated by the US Federal Aviation Association...
TAGS: DO-254
Enabling Model-Based Design for DO-254 Compliance...
White PaperEnabling Model-Based Design for DO-254 Compliance with MathWorks and Mentor Graphics Tools
DO-254 compliance is becoming increasingly common on commercial and military aviation projects. Companies often struggle with the requirements and costs of DO-254 compliance. Engineers can use Model-Based...
TAGS: DO-254