用户故事

贝尔直升机开发了世界上第一架商用电传飞行直升机

挑战

为第一架商用线控飞行直升机开发飞行软件,并将其认证为DO-178B A级

解决方案

使用基于模型的设计来建模和模拟控制规律,跟踪对模型的需求,并生成和验证16000行代码

结果

  • 集成时间缩短90%
  • 开发迭代从几周减少到几小时
  • 保持对代码质量的信心

“通过基于模型的设计,我们的首次飞行取得了成功;从控制或集成的角度来看,不存在问题。使用Embedded Coder从我们的Simulink模型中生成控制律代码,消除金宝app了手工生成代码所导致的速度减慢,并使团队得以致力于实现更广泛的程序目标。”

麦克斯贝尔,贝尔直升机
贝尔525船上525艘船上的船只1和2。

贝尔525无情地是世界上第一个带有飞丝飞行控制的商用直升机。逐线系系统将直升机放在全日制计算机控制下,通过降低试点工作量,增加试点情境意识和改善飞机处理品质,最大限度地提高安全性。

贝尔直升机使用基于模型的设计来开发和实施贝尔525飞绕系统的控制法。该项目是第一次贝尔直升机工程师使用DO-178B级别的自动代码生成工作流程。

“我们在Simulink中完成了所有的设计和广泛的模拟,”贝尔·佩斯韦尔,贝尔525飞绕照法律领先。金宝app“我们第一次生成具有嵌入式编码器的真正飞行控制计算机的代码,我们没有集成问题。这是一个很大的事项,因为,在以前的项目中,集成问题真的放缓了我们。“

挑战

对于贝尔,是第一个配备有逐线飞行控制的平民直升机的市场,意味着通过减少手动编码和手动代码评论来加速其DO-178B软件开发过程的速度方面。在过去的程序上,一个小型手动编码的设计变更将导致详细的审查过程,花费太长,无法支持积极的飞行测试开发计划。金宝app

贝尔525工程团队希望通过以前的DO-178B开发方法捕获改进。首先,他们试图减少手动编码软件要求导致的返工。其次,他们希望简化与飞机系统的其余部分集成代码所需的步骤。第三,他们想建立一个强大的开发过程,以便工程师可以向其他团队和项目提供一致的结果。

解决方案

贝尔直升机工程师采用基于模型的设计方法设计、实现并验证了贝尔525线控飞控系统的控制规律。

在仿真软件金宝app®和州流®,飞行质量工程师基于IBM定义的900个高级系统需求开发了一个控制律模型®理性的®®.该模型被划分为多个模块,包括俯仰轴、滚转轴和偏航轴,以及由statflow开发的逻辑和模式切换模块。

它们在Simulink中开发了一组测试用例和RAN模拟,以验证逻辑和功能。金宝app

使用Simu金宝applink Requirements™,工程师将DOORS中的需求定义与他们用来建模需求的Simulink和statflow对象联系起来。这种可追溯性使团队能够执行影响分析,以确定在项目中稍后更新需求时,会受到影响的Simulink模型区域。金宝app

它们还使用Simulink C金宝appheck™和Simulink Coverage™来检查模块,以符合DO-178的Bell Helicopter建模标准,并测量测试用例的模型覆盖范围。虽然认证信用不需要覆盖范围,但它在认证过程中扮演了一部分,因为它有助于团队跟踪低级测试到高级要求。

该团队使用Simulink 金宝appReport Generator™来生成设计和要求跟踪报告,这些报告可用于认证所需的审核过程中的指导。

工程师们使用Embedded Coder从他们的Simulink控制律模型中生成了大约16000行C代码金宝app®

通过使用Simul金宝appink代码Inspector™和与Do Reseification Kit相关合格,团队RAN自动比较生成的代码和控制法模型,以检查不受支持的块,验证可追溯性,并满足DO-178B码审查目标。金宝app

在代码评审之后,使用与Simulink模型相同的测试用例对代码进行编译和测试。金宝app软件团队随后将控制律代码与其他飞行控制代码集成在一起,为“实时”系统测试做准备。

贝尔525“无情”有一个成功的首飞,直升飞机正在进行飞行测试发展到它的全速、重量和高度能力。贝尔直升机正在将基于模型的设计扩展到未来的DO-178C项目中。

结果

  • 集成时间缩短90%.“我们第一次生成了在真正硬件上运行的代码我们没有集成问题,”北京斯特说。“过去,完成初始集成需要大约10周,但是通过模型的设计,我们完成了一个。”

  • 开发迭代从几周减少到几小时.“在过去的程序中,当我们做了一个小的设计更改时,我们有时不得不等待数周的时间,让软件团队来编写代码,”贝尔525线控飞控律的设计师吉莉安·阿尔弗雷德(Jillian Alfred)说。“使用Sim金宝appulink和Embedded Coder,我们只是简单地进行了更改并重新生成了代码。我们在一个小时内就完成了一个新的测试版本。”

  • 保持对代码质量的信心.“基于模型的设计使我们能够在不影响工作质量的情况下缩短耗时任务的持续时间,”Alfred说。“我们对生成代码的质量有同样高的信心,就像使用传统手工流程生成的代码一样。使用Embedded Coder,我们知道我们正在生成正确的代码,而使用Simulink代码检查器,我们可以保证它是可追踪到模型的。”金宝app