由于有了基于模型的设计，使得开发大量的汽车嵌入式系统时，可以由模型自动生成最终编译的软件。不过，这项工作需要一个软件工程框架的支持。本文使用线控驾驶系统(steer-by-wire system)作为实例，给出了设计汽车嵌入式系统的过程、方法和测试工具的一个框架。

　　近来，有报道称包括Denso、Motorola和Toyota在内的不同行业的多家公司都在产品代码方面取得了成功。这项技术正日益成为软件下一波演进发展中的一个重要组成部分。虽然总体而言，它对软件工程化过程的影响已为业界所了解，但却并没有十分清楚地确立起来。对于早前类似演进发展(包括从机器代码发展到汇编代码，再发展到源代码)的参与者而言，这一点尤为明显。

图1：查看一个软件过程的普通方法是借助于V形图。

　　随着抽象与自动化程度的日益提高，新的过程、方法和工具接踵而来。瀑布式过程已让位于螺旋式方法和迭代方法。实时方法已经出现并正在取代静态流程设计。新的工具也出现了，如包含有调试器、优化编译器和自动测试工具的IDE(集成开发环境)。

　　不过，由于难以使用、缺乏了解或是工具支持不足的原因，并非每一种好的思想都 能开花结果。有迹象表明，这些方法和工具对于主流产品应用并非总是实用。例如，用验证来确保软件正确性的正规方法是使用一种全世界只有极少数专家才真正懂得的语言编写的。此外，1980年代的实时用例工具可以辅助设计，但并未提供一条产生最终代码的简便途径。

图2：用控制系统方框图来表示反馈控制。

　　在早期应用阶段，产品代码生成的效果相当不错，这主要是由于其实用性。不过，其进一步的发展还需要依靠集成过程、方法和工具的支持。一种新的过程只有在具备了所需支持方法和工具的条件下才会成功。如果这些条件有所欠缺，那么对一个公司成熟的嵌入式系统进行重新设计的努力就不会是可行和实用的。

    本文给出了主要面向产品代码生成的这样一个框架：
    * 基于模型的设计
    * 建模、仿真、快速原型、产品代码生成、模型测试和覆盖、在环测试
    * 开发工具、验证与生效(V&V)工具、集成工具

    模型的设计过程

[本文共有 4 页，当前是第 1 页] <<上一页 下一页>>