Forsoft汽车工程^[8]通过汽车建模语言（AML），整合了需求管理、软件组件设计与行为建模。AML是一种元模型，它支持以下五种抽象级元素：

•信号。

•功能。

•逻辑架构。

•技术架构。

•实施。(www.daowen.com)

信号代表了被功能所引用的接口。功能的构成代表了实现控制算法的逻辑架构，而技术架构构成了除去在ECU上运行的基本软件模块之外的ECU整个物理网络。

前三个抽象级元素的AML表示由统一建模语言（UML）建模工具——UML套件和图形建模与代码产生工具——ASCET给出。AML的描述是基于交互式的功能。功能是由按接口分类的端口（port）构成的。其接口传递信号。功能可以按层次来分组。功能可以有变体，它的一个变体只能运行相对于接口的功能子集。接口也可以拥有变体，且其中的变体通常都是子集。这个概念的更多细节如图9.9所示。在此图的上方，有一个功能性车窗举升器，它带有信号接口中断、窗口控制以及舒适性控制。驾驶人侧门功能提供了车窗与舒适控制的接口，而其变体——前排乘员侧车门与乘客车门，仅仅使用了车窗控制接口。图中所有变体都使用了中断接口。

图9.9 基于子集的变体概念

逻辑架构由一个具有分层功能的变体来表示。技术架构由网络化的ECU给出，它包含了除逻辑架构细小功能外的所有应用于通信的基本软件模块。当然，所有授权和传递连接器在映射这一步得到解决。实施意味着细小功能代码生成与人工编码，或者构造基本软件模块（实现了ECU硬件与控制算法细小功能之间的接口）。