验证与确认生成树模型到代码

由杰·亚伯拉罕，MathWorks公司

航电系统要求严格的验证和确认（V＆V）过程和经常使用的V-模型来实现验证的目标。基于模型的设计使得可以在设计过程的早期进行V＆V任务，当它是更容易和便宜修正错误。本文探讨可以在整个V模型工艺施加，从需求到交付已验证代码的全面V＆V过程。

本文是在AIAA建模与仿真技术会议，AIAA赛特2015年提出的。