贝尔直升机工程师采用基于模型的设计方法设计、实现并验证了贝尔525线控飞控系统的控制规律。
在仿真软件金宝app®和Stateflow®,飞行质量工程师基于IBM定义的900个高级系统需求开发了一个控制律模型®理性的®门®.该模型被划分为多个模块,包括俯仰轴、滚转轴和偏航轴,以及由statflow开发的逻辑和模式切换模块。
他们开发了一组测试用例,并在Simulink中运行模拟,以验证逻辑和功能。金宝app
使用Simu金宝applink Requirements™,工程师将DOORS中的需求定义与他们用来建模需求的Simulink和statflow对象联系起来。这种可追溯性使团队能够执行影响分析,以确定在项目中稍后更新需求时,会受到影响的Simulink模型区域。金宝app
他们还使用Simulink C金宝appheck™和Simulink Coverage™来检查模块是否符合DO-178的贝尔直升机建模标准,并测量测试用例的模型覆盖率。虽然覆盖率分析不是认证信用所必需的,但是它在认证过程中扮演着重要的角色,因为它帮助团队从低级测试跟踪到高级需求。
该团队使用Simulink 金宝appReport Generator™生成设计和需求跟踪报告,可用于指导认证所需的评审过程。
工程师们使用Embedded Coder从他们的Simulink控制律模型中生成了大约16000行C代码金宝app®.
通过使用Simul金宝appink Code Inspector™,并使用DO Qualification Kit对其进行认证,团队对生成的代码和控制法则模型进行自动比较,以检查不支持的区块,验证可追溯性,并满足DO- 178b代码评审目标。金宝app
在代码评审之后,使用与Simulink模型相同的测试用例对代码进行编译和测试。金宝app软件团队随后将控制律代码与其他飞行控制代码集成在一起,为“实时”系统测试做准备。
贝尔525“无情”有一个成功的首飞,直升飞机正在进行飞行测试发展到它的全速、重量和高度能力。贝尔直升机正在将基于模型的设计扩展到未来的DO-178C项目中。