达芬奇的加速发展和合规- 178 c雷达导航软件
挑战
开发雷达导航软件用于搜救直升机和证明它做- 178
解决方案
使用基于模型的设计跟踪需求到设计元素;生成可确认的代码;运行自动仿真、银和公益诉讼的测试;并生成报告和文档
结果
- 换发新证周期时间减少了90%以上
- 测试的速度翻了两番
- 250000页的交互式文档生成有关
“资格工具包消除大部分的猜测参与认证。它帮助我们了解如何使用MathWorks基于模型的设计和使用自动化工具来满足- 178的目标,使我们向工件认证权威比以前要快得多。”
富勒姆·布朗博士,莱昂纳多
一架AW101远程直升机配备了达芬奇鱼鹰30有源电子扫描阵列雷达系统。
一个架AW101远程直升机编队由莱昂纳多使挪威皇家空军执行全天候服务,白天和晚上在高北极地区搜救任务。每架飞机上都装有一个达芬奇鱼鹰30有源电子扫描阵列(AESA)雷达系统,为船员提供360度覆盖监测和地面映射。
莱昂纳多工程师使用基于模型的设计与MATLAB®和仿真软金宝app件®加快发展嵌入式导航软件的鱼鹰30 - 178 C雷达系统,满足做设计保障C级认证要求。
“尽管我们有限的经验证明软件和MATLAB使用基于模型的设计开发,仿真软件,做合格设备,我们能够实现做- 178 c的目标和满足认证权威,”安德鲁·Tortolano说校长在达芬奇系统工程师。金宝app“这是一个证明文档,测试用例,和程序中做资格工具包;自动化通过基于模型的设计;和我们收到Mat金宝apphWorks工程师的支持。”
挑战
在早期系统工程审查,安全案例强调,由于鱼鹰雷达系统提供的导航提示直升机的机组人员,其软件是主题- 178安全指导方针。雷达系统工程团队没有以前开发的软件按照做- 178指南,所以需要扩展其现有的开发过程,允许他们提供可证明的源代码到软件过程。这涉及到确定活动或步骤,被要求支持认证。金宝app
团队还必须确定他们需要额外的工具来完成这些活动,然后有资格做- 178工作的工具。他们想将合格的工具集成到他们的增强开发过程,这样他们可以跟踪需求,生成代码,提高测试自动化,项目之间的模型和代码重用。
解决方案
莱昂纳多工程师开发了鱼鹰导航雷达系统,使用基于模型的设计与MATLAB和Simulink软件产品,他们适合做- 178。下载188bet金宝搏金宝app
与MathWorks顾问合作,团队回顾了现有的系统设计和开发了一个路线图重组设计和178年工作流坚持做的指导方针。
在做文档和程序详细的资格工具包,团队为做合格的以下产品- 178:Polyspace错误发现者™,Polyspace代码验证™,模型检查™,仿真软件覆盖™,工具箱™模型报告生成器™和需求。下载188bet金宝搏金宝app
使用工具箱中的需求管理接口需求,他们在IBM系统和高级需求有关®理性的®门®仿真软件模型的对应元素捕获系统的低级需求。金宝app
与仿真软件金宝app测试™,工程师们撰写并进行了仿真测试,使用仿真软件覆盖测量和分析模型覆盖率和识别未经测试的模型元素。他们还确定的标准和准则违反他们的模型,使用仿真软件检查执行检查特定- 178。金宝app
生成的团队近10000行可读,MISRA®从他们的模型与嵌入式编码兼容的C代码®。他们通过software-in-the-loop验证该代码(SIL)和processor-in-the-loop(公益诉讼)测试,比较模拟的输出和测试的输出。他们还执行代码的静态分析与Polyspace代码验证和Polyspace Bug Finder来确保代码没有溢出,除和其他运行时错误。
使用仿真软件金宝app报告生成器,团队生成的文档,包括覆盖指标和测试结果,提供给认证中心指定的工程代表(DER)。
鱼鹰30雷达导航解决方案功能是评估- 178 C和现在在服务水平上挪威皇家空军搜救飞机。达芬奇是重用模型和测试用例的鱼鹰30在其他项目,包括陆基导航系统,预计减少60 - 80%的临时工程胚根端胚乳)(类似项目的成本。
结果
- 换发新证周期时间减少了90%以上。“早期飞行测试后,要求我们的软件更新,“Tortolano说。“在过去,这种改变需要一个团队组成的一个系统工程师和两个软件工程师三个月。基于模型的设计我们不需要回归测试。我们只是重新整个过程与自动代码生成、测试和文档,使一个工程师在三个星期完成这项工作。”
- 测试的速度翻了两番。“过去,我们可以执行每天最多约50名目击测试,这需要两个工程师,”富勒姆·布朗博士说,领导英国达芬奇系统工程师。“由于自动化通过仿真软件测试和其他MathWorks工具,我们现在可金宝app以运行1500测试。通过测试不需要见证了SQA工程师因为我们合格的工具- 178。”
- 250000页的交互式文档生成有关。“完全,我们生成相当于大约250000页的交互相关测试报告和其他文档使用仿真软件测试和仿真软件报告生成器,”布朗指出。金宝app“随着证书颁发机构全权委托审查任何他们想要的,我们认为这是简单的能够提供证据,我们所做的一切。如果DER想看到任何特定的结果,这对他们来说是可用的和完全与我们的模型,它真正建立他们的信任。”
