用户故事

贝尔直升机发展世界上第一个商业电子控制的直升机

挑战

制定第一个商业飞行线控直升机飞行软件和验证它- 178 b级

解决方案

使用基于模型的设计模型和模拟控制法律,跟踪需求到模型和生成和验证16000行代码

结果

  • 捕获时间减少90%
  • 开发迭代从周减少到小时
  • 对代码质量的信心

与基于模型的设计我们有一个成功的第一次飞行;没有从控制或集成的角度看问题。从我们的仿真软件模型生成代码控制律与嵌入式编码器消除手工代码生成和释放造成的减速团万博1manbetx队工作会议整体计划的目标。”

迈克·博思韦尔贝尔直升机
钟525艘船1和2在Palo杜罗峡谷。

钟525无情是世界上第一个商业直升机电传飞行控制。全日制计算机控制下的飞行线控系统将直升机,最大化安全通过减少试验工作量,增加了飞行员的态势感知能力,改善飞机处理品质。

贝尔直升机使用基于模型的设计开发和实现贝尔525飞行线控系统的控制律。这个项目是第一次贝尔直升机工程师自动代码生成用于做一个工作流- 178 b水平。

“我们所有的设计和广泛的模拟仿真软件,”Mike博思韦尔说,贝尔525电子控制的控制律。万博1manbetx“我们第一次生成的代码为真正的飞行控制计算机与嵌入式程序员,我们没有集成问题。这是一个大问题,因为在以前的项目中,集成问题真的放缓我们失望。”

挑战

贝尔,成为第一个与一架民用直升机市场配备电传飞行控制意味着加速放缓方面做的- 178 b软件开发过程通过减少手工编码和手工代码评审。在过去的项目,一个小手工编码的设计更改将导致一个详细的审查过程,花了太长时间支持积极的飞行测试开发计划。万博1manbetx

贝尔525对他们之前做的工程团队想要捕捉改进- 178 b的开发方法。首先,他们试图减少返工,由此造成了手动编码软件需求。第二,他们想要简化所需的步骤与其余的飞机系统集成代码。第三,他们想建立一个健壮的开发过程,这样工程师可以为其他团队提供一致的结果和项目。

解决方案

贝尔直升机工程师设计、实现和验证了控制律的贝尔525飞行线控系统使用基于模型的设计。

在仿真软件万博1manbetx®和Stateflow®、飞行品质工程师开发了一个基于900高级控制律模型在IBM系统需求定义®理性的®®。该模型划分模块,包括音高、滚,和偏航轴,以及与Stateflow逻辑和模式切换模块开发。

他们开发了一组测试用例,并在仿真软件模拟来验证逻辑和功能。万博1manbetx

使用要求工具箱™,工程师们有关门的需求定义的模型和Stateflow对象用于模型的要求。万博1manbetx这可追溯性使团队执行影响分析识别领域的仿真软件模型,会受到影响,如果要求更新后的项目。万博1manbetx

他们也使用模型检查™和仿真软件万博1manbetx覆盖™检查模块符合贝尔直升机建模做- 178标准和测量模型覆盖率的测试用例。而覆盖分析不需要认证,认证过程中起到了很重要的作用,因为它可以帮助团队跟踪低级测试高级需求。

该团队使用仿真软件报告生成器万博1manbetx™生成设计和需求跟踪报道,可用于指导在审查过程中所需的认证。

生成的工程师约16000行C代码的仿真软件使用嵌入式编码器控制律模型万博1manbetx®

通过使用仿真软件代万博1manbetx码督察™和排位赛做资格工具包,团队运行自动生成的代码的比较和控制律模型检查不支持的模块,验证的可追溯性,满足- 178 b代码审查的目标。万博1manbetx

代码评审后,代码被编译和测试使用相同的测试用例的仿真软件模型。万博1manbetx然后软件团队集成控制律与其他飞行控制代码为“活”系统测试做准备。

贝尔525年无情已经成功首飞和直升飞机正在全速飞行测试开发,重量,高度的能力。贝尔直升机是未来扩大使用基于模型的设计做- 178 c的项目。

结果

  • 积分时间减少了90%。“我们第一次生成的代码是运行在真正的硬件没有集成问题,”博思韦尔说。“过去,过了大约10周完成最初的集成,但与基于模型的设计我们做。”

  • 开发迭代从周减少到小时。“过去的项目,当我们做了一个小设计更改我们有时不得不等上几周的软件团队代码,”吉利安阿尔弗雷德说,贝尔525电子控制的控制律设计。”仿真软件和万博1manbetx嵌入式编码我们只是进行了更改和重新生成代码。我们有一个新的测试建立在一个小时之内。”

  • 对代码质量的信心。“基于模型的设计使我们缩短耗时的任务的持续时间在不影响工作的质量,”阿尔佛雷德说。“我们有相同的高水平的信心所生成的代码质量的代码中使用传统手工创建流程。使用嵌入式编码我们知道我们生成正确的代码,并与仿真软件代码检查器我们可以保证是可追踪的模式。”万博1manbetx