贝尔直升机公司开发出世界上第一架商用电传直升机

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

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

贝尔直升机工程师采用基于模型的设计，设计、实施并验证了贝尔525电传系统的控制律。

在Simulink中工万博1manbetx作^®和Stateflow^®，飞行质量工程师根据IBM定义的900个高级系统需求开发了一个控制律模型^®理性的^®门^®. 该模型被划分为模块，包括俯仰、滚转和偏航轴，以及使用Stateflow开发的逻辑和模式切换模块。

他们开发了一组测试用例，并在Simulink中运行模拟，以验证逻辑和功能。万博1manbetx

使用Simu万博1manbetxlink需求™, 工程师们将DOORS中的需求定义与他们用来建模需求的Simulink和Stateflow对象联系起来。这种可追溯性使团队能够执行影响分析，以确定Simulink模型中如果在项目后期更新需求将受到影响的区域。

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

该团队使用Simulink 万博1manbetxReport Generator™生成设计和需求跟踪报告，可用于指导认证所需的评审过程。

工程师们使用嵌入式编码器从Simulink控制律模型中生成了大约16000行C代码万博1manbetx^®．

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

在代码审查之后，使用与Simulink模型相同的测试用例编译和测试代码。软件团队随后将控制律代码与其他飞行控制代码集成，为“实时”系统测试做准备。万博1manbetx

贝尔525“无情号”进行了成功的首次飞行，该直升机正在进行飞行测试，以达到其全速、重量和高度能力。贝尔直升机公司正在将基于模型的设计应用扩展到未来的DO-178C项目中。