贝尔直升机工程师设计、实现和验证了控制律的贝尔525飞行线控系统使用基于模型的设计。
在仿真软件金宝app®和Stateflow®、飞行品质工程师开发了一个基于900高级控制律模型在IBM系统需求定义®理性的®门®。该模型划分模块,包括音高、滚,和偏航轴,以及与Stateflow逻辑和模式切换模块开发。
他们开发了一组测试用例,并在仿真软件模拟来验证逻辑和功能。金宝app
使用仿真软件金宝app需求™,工程师联系门与仿真软件的需求定义和Stateflow对象用于模型的需求。这可追溯性使团队执行影响分析识别领域的仿真软件模型,会受到影响,如果要求更新后的项目。金宝app
他们也使用模型检查™和仿真软件金宝app覆盖™检查模块符合贝尔直升机建模做- 178标准和测量模型覆盖率的测试用例。而覆盖分析不需要认证,认证过程中起到了很重要的作用,因为它可以帮助团队跟踪低级测试高级需求。
该团队使用仿真软件报告生成器金宝app™生成设计和需求跟踪报道,可用于指导在审查过程中所需的认证。
生成的工程师约16000行C代码的仿真软件使用嵌入式编码器控制律模型金宝app®。
通过使用仿真软件代金宝app码督察™和排位赛做资格工具包,团队运行自动生成的代码的比较和控制律模型检查不支持的模块,验证的可追溯性,满足- 178 b代码审查的目标。金宝app
代码评审后,代码被编译和测试使用相同的测试用例的仿真软件模型。金宝app然后软件团队集成控制律与其他飞行控制代码为“活”系统测试做准备。
贝尔525年无情已经成功首飞和直升飞机正在全速飞行测试开发,重量,高度的能力。贝尔直升机是未来扩大使用基于模型的设计做- 178 c的项目。