Leonardo加速了DO-178C雷达导航软件的开发和依从性

在早期的系统工程审查中，安全案例强调，由于鱼鹰雷达系统将为直升机机组人员提供偶然的导航提示，其软件受DO-178安全指南的限制。雷达系统工程团队以前没有按照DO-178指导方针开发软件，因此需要扩展他们现有的开发过程，以允许他们将经过认证的源代码交付到软件过程中。这涉及到识别支持认证所需的活动或步骤。金宝app

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

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

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

根据DO资质认证套件中详细的文档和程序，该团队对DO-178的以下产品进行了认证:Polyspace Bug Finder™、Polyspace Code Prover™、Simulink Check™、Simu下载188bet金宝搏link Coverage™、Simulink Report Generator™和Simulink Requirements™。金宝app

通过使用Simulink Requirements中的需求管理接口，他们将IBM中的系统需求和金宝app高级需求联系起来^®理性的^®门^®对应的Simulink模型元素，该模型捕获了系统的低级需求。金宝app

使用Sim金宝appulink Test™，工程师编写并执行基于模拟的测试，使用Simulink Coverage来度量和分析模型覆盖率，并识别未测试的模型元素。他们还在他们的模型中识别了标准和准则的违反，使用Simulink Check来执行特定于DO-178的检查。金宝app

该团队生成了近10,000行可读的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次目击测试，这需要两名工程师，”Leonardo UK的首席系统工程师Calum Brown博士说。“由于Simulink Test和其他MathWorks工具实现了自金宝app动化，我们现在每周可以运行1500个测试，通过的测试不需要由SQA工程师见证，因为我们已经对工具进行了do -178认证。”
• 生成了25万页交互式链接文档。“总的来说，我们使用Simulink测试和Simulink报告生成器生成了相当于大约25万页交互式链接的测试报告和其他文档，”Brown指出。金宝app“正如认证机构所做的那样全权委托无论他们想要什么，我们都觉得能够更容易地为我们所做的一切提供证据。如果DER想看到任何特定的结果，他们都可以获得，并与我们的模型完全挂钩，这真的建立了他们的信任。”