验证和验证跨越代码的模型

由Jay Abraham，Mathworks

航空电子系统需要严格的验证和验证（V＆V）流程，并经常使用V模型来实现验证目标。基于模型的设计使V＆V在设计过程中要早期执行，当修复错误时更容易和更便宜。本文探讨了全面的V＆V进程，可以在整个V模型过程中应用，从要求提供验证代码。

本文介绍了AIAA建模和仿真技术会议，AIAA Scitech 2015。