Leonardo加速了雷达导航软件的开发和符合DO-178C

在早期系统的工程审查期间，安全案例强调，由于Osprey雷达系统将为直升机的机组人员提供附带导航线索，它的软件受到DO-178的安全指南。雷达系统工程团队以前没有根据DO-178指南开发的软件，因此需要扩展其现有的开发过程，以允许它们将可证明的源代码传送到软件过程​​中。这涉及识别支持认证所需的活动或步骤。金宝app

团队还必须确定完成这些活动所需的其他工具，然后对DO-178工作所需的工具进行鉴定。他们希望将合格的工具集成到他们增强的开发过程中，这样他们就可以跟踪需求、生成代码、增加测试自动化，并跨项目重用模型和代码。

Leonardo的工程师使用基于模型的设计和MATLAB和Simulink产品开发了鱼鹰雷达系统导航软件，他们符合DO-178的要求。下载188bet金宝搏金宝app

该团队与MathWorks顾问合作，审查了他们现有的系统设计，并开发了重构设计和工作流的路线图，以遵守DO-178指南。

以下文档和程序进行了详细的Do Resification Kit，该团队合格为DO-178提供以下产品：PolySpace Bug Finder™，PolySpace Code Prover™，Simulink 下载188bet金宝搏Check™，Simulink Covericage™，Simulink Report Generator™和Simulink要求™。金宝app

使用Simulink要求中的需求管理界面，它们在IBM中链接系统和高级要求金宝app^®理性的^®门^®对于捕获系统的低级别要求的Simulink模型的相应元素。金宝app

使用Sim金宝appulink Test™，工程师撰写并进行了基于模拟的测试，使用Simulink覆盖范围来测量和分析模型覆盖并识别未测试的模型元素。它们还使用Simulink检查确定其模型中的标准和指导违规，以执行特定于DO-178的检查。金宝app

该团队生成了近10000行可读的MISRA^®- 使用嵌入式编码器从其模型中的替换C代码^®．他们通过软件在环(SIL)和处理器在环(PIL)测试验证了这段代码，并将模拟的输出与测试的输出进行了比较。他们还使用Polyspace code Prover和Polyspace Bug Finder对代码进行静态分析，以确保代码没有溢出、零除和其他运行时错误。

使用Simu金宝applink Report Generator，团队生成了文档，包括覆盖率指标和测试结果，他们将这些文档提供给认证机构的指定工程代表(DER)。

鱼鹰30雷达导航解决方案功能被评估为DO-178 C级，目前在挪威皇家空军搜索和救援飞机上服役。Leonardo正在其他项目中重用鱼鹰30的模型和测试用例，包括陆基导航系统，并预计在类似项目中减少60-80%的非经常性工程(NRE)成本。

• 重新认证循环时间减少了90％以上。“在早期的飞行测试之后，我们对软件的要求进行了更新，”托托拉诺说。“在过去，这样的改变需要一个由一个系统工程师和两个软件工程师组成的团队三个月的时间。在基于模型的设计中，我们不需要回归测试。我们简单地重新运行整个过程，自动生成代码、测试和文档，使得单个工程师在三周内完成工作成为可能。”
• 测试速率二次。“在过去，我们每天最多可以进行大约50次目击测试，这需要两个工程师，”莱奥纳多英国公司的首席系统工程师Calum Brown博士说。“由于Simulink Test和其他MathWorks工具支持自动金宝app化，我们现在每周可以运行1500个测试，通过的测试不需要SQA工程师见证，因为我们已经为do -178认证了这些工具。”
• 生成了25万页交互式链接文档。“完全，我们使用Simulink测试和Simulink报告生成器生成了相当于约250,000页的交互式链接测试报告和其他文档”，“棕色。金宝app“正如认证机构的那样全权委托要查看他们想要的任何东西，我们觉得能够为我们所做的一切提供证据更容易。如果Der想要看到任何特定结果，它可供他们使用并完全链接到我们的模型，这真正建立了他们的信任。“