Technical Articles

Verification and Validation Spanning Models to Code

By Jay Abraham, MathWorks


Avionics systems require rigorous verification and validation (V&V) processes and often use the V-model to achieve verification objectives. Model-Based Design enables V&V tasks to be performed early in the design process, when it is easier and cheaper to fix errors. This paper explores comprehensive V&V processes that can be applied throughout the V-model process, from requirements to delivery of the verified code.

This paper was presented at the AIAA Modeling and Simulation Technologies Conference, AIAA SciTech 2015.

Read full paper.

Published 2015

View Articles for Related Industries