使用基于模型的设计进行早期验证和确认(2)

基于模型的设计

图1：以模型为中心的开发方法称为 Model-Based Design（基于模型的设计）。

通过基于模型的设计，团队可根据书面需求使用模型开发其设计。由于采用了仿真引擎，因此这些模型成为“可执行的规范”。对于开发和检查规范的团队而言，“规范可执行”是个极大的好处。检查完高级模型后，可使用设计详细信息修改模型，以便将其转换为代码。从详细设计模型自动生成代码极大优化了实现过程，并避免了从设计到代码转换过程中引入错误的可能。

传统的嵌入式控制系统的开发过程和V 型图一致（图 2）。

图2：传统的嵌入式控制系统的开发过程和V 型图一致。

此过程使所有验证和测试都位于 V 型图右侧，即完成设计和实现之后。对于基于 C 代码的传统嵌入式控制开发流程，集成测试通常在其他形式且级别逐渐提高的测试（例如硬件在环测试以及全系统测试）之前。虽然此开发顺序有助于组织复杂的系统设计，但还是有一些缺点：该顺序直到开发末期才考虑验证和测试，而此时修复所找到的任何错误都要付出最高代价且最耗时；用户必须实现所有组件后才能测试系统；并且该顺序未能考虑开发过程中的迭代。

通过基于模型的设计，可以将验证作为并行活动，贯穿整个开发流程（图 3）。