从模型到代码的验证和验证

杰伊·亚伯拉罕，MathWorks出版社

航空电子系统需要严格的验证和验证(V&V)过程，通常使用v模型来实现验证目标。基于模型的设计使V&V任务能够在设计过程的早期执行，此时修复错误更容易也更便宜。本文探索了可以应用于整个V-model过程的全面的V&V过程，从需求到已验证代码的交付。

本文在AIAA SciTech 2015年的AIAA建模与仿真技术大会上发表。