贝尔直升机工程师采用基于模型的设计方法设计、实现并验证了贝尔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项目中。