Leonardo的工程师开发了鱼鹰雷达系统导航软件,使用基于模型的设计与MATLAB和Simulink产品,他们符合DO-178的要求。下载188bet金宝搏金宝app
该团队与MathWorks的顾问合作,审查了他们现有的系统设计,并制定了一份路线图,以重组设计和工作流,以遵守DO-178指南。
根据DO确认工具包中详细的文档和程序,团队为DO-178认证了以下产品:Polyspace Bug Finder™、Polyspace Code prove™、Simulink Check™、Simulink C下载188bet金宝搏overage™、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报告生成器,团队生成了文档,包括覆盖度量和测试结果,并将其提供给认证机构的指定工程代表(DER)。
鱼鹰30雷达导航解决方案功能被评估为DO-178 C级,现在在挪威皇家空军搜索和救援飞机上服役。Leonardo在其他项目中重用了Osprey 30的模型和测试用例,包括陆基导航系统,并期望在类似项目中减少60-80%的非经常性工程(NRE)成本。