使用基于模型的设计设计,实施和验证了贝尔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项目的模型设计的使用。