技术文章和通讯

面向工程软件开发的敏捷和基于模型的设计

Roger Aarenstrup和Gaurav Tomar, MathWorks


如今,大多数为工程应用开发软件的团队都认识到传统(瀑布式)方法的缺点。这包括在项目的后期发现缺陷和设计问题,无法适应需求的变化,以及交付不满足客户需求的系统的风险。

为了克服这些缺点,许多团队采用了一种将敏捷方法与基于模型的设计相结合的方法。

对基于模型的设计和敏捷方法的研究表明,基于模型的设计可以补充甚至支持工程应用的敏捷。与敏捷一样,基于模型的设计起源于支持快速迭代。它还满足了敏捷无法单独解决的系统工程挑战:金宝app

  • 如何在不接触设备的情况下进行早期测试
  • 如何管理工程系统的复杂性
  • 如何降低在昂贵硬件上测试未经验证的软件的风险
  • 如何满足功能安全和其他标准的要求,包括DO-178B/C和ISO 26262

本文通过一个将基于模型的设计与敏捷方法和Scrum框架相结合的自适应巡航控制示例,解释了基金宝app于模型的设计如何支持敏捷开发的核心价值。

敏捷和基于模型的设计:基础

敏捷软件开发方法是建立在敏捷宣言,2001年出版。今天,敏捷开发最广泛使用的框架之一是Scrum。在Scrum中,开发以一系列称为冲刺,其中团队在一段时间内(通常在一周或两周到一个月之间)处理项目待办事项中的功能子集。在每个sprint中,团队开发、测试、集成和记录工作软件(图1)。

图1所示。使用Scrum框架进行敏捷开发。

基于模型的设计是一种以模型为中心的系统开发方法。基于模型的设计在整个开发过程中使用模型,而不是依赖于物理原型和文本规范进行通信。该模型包括与系统行为相关的所有组件——算法、控制逻辑、物理组件和环境。一旦模型被开发(细化),它就可以用来生成代码(C/ c++, HDL,或结构化文本),报告和其他类型的文档。基于模型的设计的核心组件是系统级和组件级的设计和仿真、自动代码生成以及持续的测试和验证。

将敏捷的核心价值映射到基于模型的设计

敏捷宣言定义了软件开发的四个核心价值:

  • 个人和交互高于过程和工具
  • 在综合文档上运行软件
  • 客户合作高于合同谈判
  • 响应改变,而不是遵循计划

宣言作者指出,“结束”并不意味着“不”。他们提出的是重点的转移:“虽然右边的项目有价值,但我们更看重左边的项目。”

让我们看看这些敏捷值如何映射到基于模型的设计。

专注于个人和互动

基于模型的设计中的过程和工具——特别是建模和模拟——促进了个人和团队之间的有效交互。该模型可以在Simulink中直接共享金宝app®,在报告中,或作为网页,使所有利益相关者能够将其作为共同的参考点和唯一的真相来源。仿真结果清晰可见,可以促进设计决策、Scrum规划以及与利益相关者的讨论。

专注于客户协作

客户协作是敏捷方法的核心。每个sprint以计划会议开始,以评审会议结束,在评审会议中,客户经常被邀请提供意见。建模和仿真不仅支持高效的客户协作,而且还支持跨团队、领域和规程的协金宝app作。来自硬件设计、系统设计以及功能和组件开发的工程师有一种共同的语言,他们可以专注于一起工作,而不是担心工具。

专注于工作软件

对于使用敏捷的团队来说,基于模型的设计(Model-Based Design)的主要优势之一是,即使嵌入的目标、植物、传感器或其他硬件不可用,也能够从早期的sprint开发系统的工作版本。通过金宝app仿真验证的Simulink模型可以作为工作软件在整个项目中。模型充当开发中的系统的可执行规范。在早期的sprint中,当硬件可能不可用时,模拟结果可以与客户共享,而不是硬件测试结果,并用于评估进度、征求支持或计划下一个sprint。模型还提供了一种清晰和方便的方法来衡量进展。随着模型的细化,它可以用于生成软件在环(SIL)、处理器在环(PIL)、硬件在环(HIL)测试以及实时原型和生产系统的代码。

该模型还可作为全面文档的基础。在基于模型的设计中,文档是设计过程的输出,而不是离散的任务,文档和报告可以根据需要从模型生成。

专注于应对变化

瀑布式开发的一个主要障碍是不能对不断发展的需求和条件作出适当的响应。敏捷开发和基于模型的设计解决了这一缺陷,并使团队能够更有效地响应更改。对于工程应用程序中的任何重大更改,使用基于模型的设计的工程师都可以修改模型,然后简单地重新生成代码。在实现任何更改之前,团队可以运行假设分析,以确定适应特定更改请求的最佳方法。在模型中进行更改之后,工程师可以运行回归测试的模拟,以确保更改不会导致系统中的意外行为。当模型与需求相关联时,团队可以执行影响分析,以理解对模型一部分的更改将如何影响其他部分。

用例:结合敏捷方法和基于模型的设计开发自适应巡航控制器

在这个例子中,一个汽车工程团队正在开发一个具有传感器融合的自适应巡航控制系统的软件。该系统融合来自机载雷达和视觉传感器的输入数据,以识别最重要的目标及其与自我车辆的距离,以适应速度和保持安全距离。

在这个项目中,一组工程师致力于开发控制算法,另一组开发驾驶场景和合成传感器数据。这些合成数据将使工程师能够在实际传感器数据可用之前开发和测试算法。使用合成数据的早期模拟可以告知设计决策,例如车内传感器的类型、数量和位置。

在第一个sprint中,每个子团队(或工程师组)使用一个共享的系统级Simulink模型来协调他们的工作,为其各自的子系统建模(图2)。即使在这个早期阶段,他们也可以运行仿真来查看控制器在各种条件下的行为。金宝app在编写或生成一行代码之前,它们会调试控制器,识别要优化的参数,并从系统的工作版本中可视化关键性能指标。

图2。金宝app基于传感器融合的自适应巡航控制系统的Simulink模型。

在第一个sprint即将结束时与客户举行的评审会议上,他们分享了模型和模拟结果(图3)。该模型和结果提供了工作软件的具体表示,例如,通过说明另一辆车驶入其车道后,车辆速度如何降低。

图3。对自适应巡航控制模型进行了仿真。

在随后的冲刺阶段,团队会根据客户的反馈来改进或增强模型——例如,通过调整安全的跟随距离或改变车辆加速或减速的速度——并优化它以生成代码并部署到ECU上。生成的代码可以原样使用,也可以与遗留代码集成,作为更大系统的一部分。与Jenkins™的持续集成(CI)用于持续检查生成的代码和手动代码的集成,在模型上运行测试,检查是否符合建模标准,然后在生成的代码上执行测试。所有这些活动的结果都会被自动报告,以跟踪进度,并且对于不使用开发工具的涉众来说也是如此。

在后期的sprint中,团队将更严格的验证和验证活动纳入其中,包括SIL、PIL或HIL测试,以确保设计满足需求。他们还检查模型和代码是否符合已建立的标准和指导方针,使用静态分析和正式方法来证明关键运行时错误的缺失,并生成报告和其他工件,为标准认证做准备。

随着项目的进展,客户需求可能会发生变化。例如,客户可能会请求模型预测控制,而不是经典的控制算法,因为先进的MPC控制器使车辆能够对环境中其他车辆更激进的操纵作出反应。由于本项目使用的是一个系统模型,因此算法团队可以轻松地用新开发的模型预测控制器替换原有的控制算法,并保持模型的其余部分不变。团队重新运行模拟并与客户共享结果。然后,可以就是否继续进行设计变更或恢复到以前的方法作出明智的决定。

这个团队在他们的敏捷开发工作流中使用基于模型的设计,并在涉及硬件之前就交付了可工作的软件。建模和模拟使团队能够基于客户反馈不断改进设计,甚至适应项目后期的重大需求变更。

2018年出版的