#111723#“Bell 525”是天下上第一架采取电传把持的商用直升机。电传体系将直升飞机全时置于盘算机把持之下,通过增加飞翔员的任务量,增添飞翔员的情况感知才能,进步飞机的操控品质,从而取得最大水平的保险。
Bell Helicopter 采取基于模子计划来开辟和实行 Bell 525 电传体系的把持律。该名目是 Bell Helicopter 工程师第一次在 DO–178B A 级的任务流中应用主动代码天生。
"咱们在 Simulink 中实现了全部的计划和大批的仿真,”Bell 525 电传把持律的担任人 Mike Bothwell 说, “第一次用 Embedded Coder 为真正的飞翔把持盘算机天生代码时,咱们没有发明任何集成成绩。这点十分有吸引力,由于在之前的名目中,集成成绩确切拖慢了咱们的进度。”
The Bell 525 Ships 1 and 2 over the Palo Duro Canyon
挑衅
Bell是第一个将装备电传飞翔把持体系的平易近用直升机推向市场的公司。这象征着增加手写编码和手动代码检察,有助于减速DO–178B软件开辟流程。在从前的流程中,一个手写代码的小修改将致使一个庞杂的检察进程。对一个有激烈目的的飞翔测试开辟流程来说,它破费的时光太长。
与之前的 DO–178B 开辟方式比拟,Bell 525 工程团队想取得一些改良:
起首,他们试图增加软件需要变更时致使的手写代码返工;其次,他们盼望简化与飞机体系其余部份代码集成所需的步调;第三,他们盼望树立一个持重的开辟进程,让工程师们为其余团队和名目供给的成果能分歧起来。
处理计划
Bell Helicopter 的工程师计划、实行并验证了基于模子计划的Bell 525电传体系的把持律。
飞翔品德工程师们应用Simulink和Stateflow开辟了一种把持律模子,它是基于在 IBMRationalDOORS界说的 900 高等体系需要。该模子被分别为多个模块,包含螺距、滚转和偏航轴的模块,以及用Stateflow开辟的逻辑和形式切换模块。
他们开辟了一组测试用例,并在Simulink中运转仿真来验证逻辑和功效。
工程师应用Simulink Requirements,将在 DOORS 里界说的需要与对应的Simulink和Stateflow工具模子接洽起来。这类可跟踪性使团队可能履行影响要素剖析,辨认出在名目需要产生前期变动时受影响的Simulink模子地区。
他们还应用Simulink Check和Simulink Coverage来检讨模块能否遵照了 Bell Helicopter 对于 DO-178 的建模标准,并器量了测试用例的模子笼罩率。固然笼罩率剖析并不是资历认证中所必需供给的,它依然起到主要的感化,由于它辅助团队从低层的测试追溯到高等需要。工程师应用Embedded Coder从Simulink把持律模子天生了约 16000 行 C 代码。
“采取基于模子计划,咱们取得了第一次飞翔的胜利,把持和集成方面都没有任何成绩。 应用Embedded Coder ,从Simulink模子天生把持律的代码,打消了人工编写代码致使的进度缓慢,束缚了团队,使得他们能够实现更普遍的目的。”
——Bell Helicopter, Mike Bothwell
该团队应用Simulink Report Generator天生计划和需要跟踪报导,可用于指点检察进程中所需的流程复审。
通过应用Simulink Coder Inspector,以及用 DO Qualification Kit 东西包对天生的代码停止检测,团队将天生的代码和把持律模子停止主动比拟,查找不合乎请求块、验证可追溯性,到达 DO-178B 代码检察的目的。
代码评审以后,实现代码并应用与Simulink模子雷同的测试用例来停止测试。而后,软件团队将把持律代码与其余飞翔把持代码整合在一同,筹备停止“实在”体系测试。
Bell 525 初次飞翔胜利,并正在停止进一步的全速、满载、极限高度的才能飞翔测试。Bell Helicopter 正在将基于模子计划拓展到未来的 DO-178C 名目中。
成果
集成时光增加90%。“咱们第一次主动天生代码,并在实在的硬件上运转时没有任何集成成绩,” Bothwell 说。“在从前,实现代码的初步集成要花大概 10 周的时光,但基于模子计划中只要要1周时光。”
开辟迭代时光从几周增加到几小时 。“在从前的流程中,当咱们做一个小的计划变动时,须要几周的时光来等候软件团队实现编码,”Bell 525电传把持律计划师 Jillian Alfred 说。“应用 Simulink 和 Embedded Coder,咱们仅需变动模子偏重重生成代码。在一个小时内咱们就实现了一个新的测试版本。”
可托赖的代码品质。“基于模子计划使咱们可能在不影响任务品质的情形下增加花在耗时的义务上的时光,” Alfred 说。“就像对传统手写代码一样,咱们对主动天生的代码品质有一样高的信念。应用 Embedded Coder 天生代码,咱们晓得代码准确无误;通过 Simulink Coder Inspector,咱们确保代码能够追溯到模子。”
更多内容阅读推荐:
空调电跳闸是什么原因