Verification and Validation Spanning Models to Code

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.