用户故事

Bell Helicopter开发了世界上第一个商业乘丝线直升机

挑战

为第一个商用飞丝直升机开发飞行软件,并证明它是DO-178B级别

解决方案

使用基于模型的设计来模拟和模拟控制法,跟踪要求对模型,并生成并验证16,000行代码

结果

  • 一世分数时间减少90%
  • 发展迭代从数周到几小时减少
  • 保持代码质量的信心

“基于模型的设计,我们的第一次飞行成功;控制或集成角度没有问题。通过嵌入式编码器生成来自我们的Simulink模型的控制法代码,消除了由手动代码生金宝app成引起的减速,并将团队释放到满足更广泛的计划目标。“

迈克·博思韦尔,贝尔直升机公司
贝尔525号1号和2号飞船在帕罗杜罗峡谷上空。

贝尔525 Relentless是世界上第一架采用线控飞行控制的商用直升机。线控飞控系统将直升机置于全时间计算机控制下,通过减少飞行员工作量、增加飞行员态势感知和提高飞机操纵质量,最大限度地提高安全性。

贝尔直升机采用基于模型的设计方法开发并实现了贝尔525线控飞控系统的控制规律。该项目是贝尔直升机工程师第一次为DO-178B Level a工作流使用自动代码生成。

“我们在Simulink中进行了所有的设计和广泛的模拟,”Bell 525线控飞控律负责人Mike Bo金宝appthwell说。“我们第一次使用Embedded Coder为真正的飞行控制计算机生成代码时,没有出现集成问题。这是一件大事,因为在之前的项目中,集成问题确实拖了我们的后腿。”

挑战

对于贝尔公司来说,作为第一个向市场推出配备电传飞行控制的民用直升机,意味着通过减少手工编码和手工代码审查,加快其DO-178B软件开发过程中较慢的方面。在过去的项目中,一个小的手工编码的设计更改将导致一个详细的审查过程,这将花费太长的时间来支持一个积极的飞行测试开发项目。金宝app

Bell 525工程团队想要获得对他们以前的DO-178B开发方法的改进。首先,他们寻求减少手工编码软件需求所导致的返工。其次,他们希望简化将代码与飞机系统的其余部分集成所需的步骤。第三,他们希望建立一个健壮的开发过程,以便工程师能够为其他团队和项目提供一致的结果。

解决方案

使用基于模型的设计设计,实施和验证了贝尔525飞绕线系统的控制法的贝尔直升机工程师。

在Simulink工作金宝app®和Stateflow®,飞行品质工程师​​根据IBM中定义的900个高级系统要求开发了一种控制法模型®合理的®®.该模型被划分为包括音高,卷和偏航轴的模块,以及用型流开发的逻辑和模式切换模块。

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

使用Simu金宝applink要求™,工程师将DOUR中的需求定义与其用于建模要求的Simulink和StateFlow对象链接。此可追溯性使团队能够执行影响分析,以识别如果在项目稍后更新要求时会受到影响的Simulink模型的区域。金宝app

他们还使用Simulink C金宝appheck™和Simulink Coverage™来检查模块是否符合DO-178的贝尔直升机建模标准,并测量测试用例的模型覆盖率。虽然覆盖率分析不是认证信用所必需的,但是它在认证过程中扮演着重要的角色,因为它帮助团队从低级测试跟踪到高级需求。

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

使用嵌入式编码器,工程师从其Simulink控制法模型中生成了大约16,000行的C代码金宝app®

通过使用Simul金宝appink Code Inspector™,并使用DO Qualification Kit对其进行认证,团队对生成的代码和控制法则模型进行自动比较,以检查不支持的区块,验证可追溯性,并满足DO- 178b代码评审目标。金宝app

代码审查后,使用与Simulink模型相同的测试用例编译和测试代码。金宝app然后,软件团队将控制法规与其他飞行控制代码集成在准备“Live”系统测试中。

贝尔525毫无痛苦的第一架飞行,直升机正在进行飞行试验开发,以其全速,重量和高度能力。贝尔直升机正在扩展其对未来DO-178C项目的模型设计的使用。

结果

  • 整合时间削减了90%.Bothwell说:“我们第一次生成在实际硬件上运行的代码时,并没有遇到集成问题。“在过去,完成最初的集成需要大约10周的时间,但在基于模型的设计中,我们只需一个星期。”

  • 发展迭代从数周到几小时减少.“在过去的程序上,当我们制作了一个小型设计变革时,我们有时必须等待几周的软件团队代码,”钟莲·阿尔弗雷德,贝尔525逐线控规律设计师说。“通过Sim金宝appulink和嵌入式编码器,我们简单地进行了更改并重新生成代码。我们在一个小时内进行了新的测试版本。“

  • 保持代码质量的信心.“基于模型的设计使我们能够缩短耗时的任务的持续时间,而不会影响我们工作的质量,”阿尔弗雷德说。“我们对使用传统手动流程创建的代码中生成的代码的质量具有相同的高度信心。通过嵌入式编码器,我们知道我们正在生成正确的代码,并且使用Simulink代码检查器我们可以保证它是可追溯到该模型的。“金宝app