模型驱动的嵌入式系统设计.pdfVIP

第 1期 吴一帆等：模型驱动的嵌入式系统设计 ·61· 尽管部分领域能够建立模型进行早期验证或 (顺序工作方式)和逻辑(应激工作方式)的结合体， 者提供平台进行交流，但是嵌入式系统的大部分设 需要用静态结构和动态行为对模型进行描述。目 计领域却缺少实现这种方式行之有效的途径。 前的顶层模型往往仅是基于算法和静态结构模型， 文献[1]中提到可以借助统一建模语言(UML) 针对系统动态行为——例如控制逻辑缺乏有效的 或系统建模语言(SysML)的高度抽象能力建立系统 方法进行描述。 模型，但似乎过于重视这种模型的应用，实际上对 在顶层利用语言描述任务，这种语言需要具备 于非功能的描述，例如一些系统约束，UML和 两个特点：一是需要有较高的抽象能力；一是应当 SysML的机制还很难支持。 具备相当严格的语义。具备较高的抽象能力才能 本文中，描述了在嵌入式系统的自顶而下的设 帮助设计人员对系统和问题进行有效地描述，例如 计中，如何采用模型辅助产品的开发。其中最重要 采用c++／HDL这样的语言描述系统不但繁琐，而 的一点就是，如何将模型、需求规格以及 ICD结合 且涉及到实现细节以至于干扰正常设计工作。采 起来驱动嵌入式系统的设计。 用自然语言描述系统，尽管其抽象的能力可以很 高，但是语义却很难做到严格，因此完全采用自然 2 问题描述与定义 语言描述系统往往存在二义性或者不完备性，并且 难以验证，对系统设计的合理性帮助不大。完全采 实现一个复杂的嵌入式系统，需要多个设计领 用形式化的语言如z语言提出需求规格，尽管语义 域的设计师相互配合才能够完成。如果设计过程 严格，但是较为晦涩，推广有较大的难度。 完全采用瀑布模式的开发方式，这些设计师的设计 UML从 1997年确立为标准以来，经过 10年的 成果只会在最后的系统实现阶段进行系统集成，这 发展已经升级至UML2．1。尽管最初其应用的主要 时大量系统集成的问题才能出现。而上层需求定 对象是软件设计，但是随着应用越来越广泛和逐渐 义不明、理解偏差、需求遗漏以及不同领域之间配 发展成熟，已经开始进入到硬件及系统设计领域。 合失误或者接口出现偏差等是出现很多问题的 目前OMG(制订UML标准的组织)和INCOSE合作 根源。 基于UML制订了系统建模语言 SysML(基本上是 如果想控制好嵌入式系统的整个研制过程，就 UML的子集)语言，UML／SysML俨然成为了系统设 需要控制好各个部分的研制过程。各专业领域人 计主流语言之一。 员对于一个嵌入式系统理解是不同的(视图不同)。 UML是一种基于图形的语言，包含了13种形 硬件设计人员熟悉的嵌入式系统是硬件电路；软件 式化和非形式化的图形，可以用来描述静态结构和 设计人员熟悉的嵌入式系统即嵌入式软件；而系统 动态行为。例如设计者可以采用UML中的用例图 设计者熟悉的则是各种算法以及各种控制逻辑的 (Use Case)对需求分析的结果进行规格化说明；采 结合体。所有设计人员都认可的是系统物理外观 用类图、复合结构图和部署图进行系统级静态结构 及动态行为——嵌入式系统