“当我们使用嵌入式编码器中的Simulink模型生成代码时，我们将万博1manbetx其移交的团队知道它是黄金 - 它被调试并完全满足了要求 - 因为我们通过客户提供的Simulink测试向量运行它。这是这个计划的巨大优势。“
Maria Radecki，BAE Systems电子解决方案万博 尤文图斯
当一系列暴风雨在2011年扫过纽约州南部时，约翰逊市的BAE系统设施充斥着1600万加仑的水。由此产生的水损坏破坏了计算机系统，文档和整个工作区域，威胁要脱轨众多正在进行的项目。这些项目包括开发用于世界上第一个逐线（FBW）中型企业喷气式射流的飞行控制计算机（FCC）软件。
基于模型的设计有助于BAE系统团队将项目恢复轨道并证明它达到DO-178B级别A.
“在这些恶劣天气事件的后果中，基于模型的设计绝对帮助我们按计划保持按计划，”BAE系统的高级主系统工程师Mike Weaver说。“因为我们在洪水中失去了大部分测试设备，因此在Simulink中运行模拟是一个巨大的优势，特别是当我们使用客户提供的测试向量时。万博1manbetx万博1manbetxSimulink使我们能够在我们生成代码之前验证和集成我们在桌面上的设计。“
除了与天气有关的损坏外，BAE系统工程师还面临着另一个意外的事件。他们被要求接受同一飞机的第二个项目：开发用于另一个飞行关键申请的软件。为了满足其客户为这些应用程序提供的数以千计的高级要求，该团队需要从嵌入式编码器生产近20万行代码®这将与操作系统和其余应用程序中的手动代码集成。
BAE系统使用支持的方法，支持DO-178B设计保证级别通过模拟，需求可追溯性，模型覆盖率万博1manbetx分析和代码生成进行认证。这种方法必须使他们能够有效地响应要求变化和不可预见的事件。
BAE系统工程师使用基于模型的设计开发了这些应用，Matlab®，s万博1manbetximulink.®，和嵌入式编码器。他们以前使用这些工具以根据DO-178级A开发飞行软件，用于跨越军事和商业飞机应用的项目。
从IBM提供的客户提供的高级要求®合理的®门®，工程师在Simulink中创建了模型。万博1manbetx
他们使用了所需管理界面和Simulink要求™，以在Simulink模型中的门和设计元素的要求之间提供可追溯性万博1manbetx。这种方法支持开发过程和认证活万博1manbetx动。
对于模型的早期集成，使用客户提供的测试向量在Simulink中进行模拟。万博1manbetx
使用Simu万博1manbetxlink Coverage™The Team分析了模型覆盖范围，并确定了模型的未经测试元素。他们写了额外的测试用例，以涵盖任何未经测试的元素以准备飞行测试。
该团队将较小的模型集成到与软件架构对齐的更高级模型中，并使用嵌入式编码器为两个应用程序生成代码。
在代码审查和正式验证之后，该飞机的飞行至关重要的软件从FAA，EASA和另一个监管机构获得认证，现在正在生产。
洪水之后，团队借机借机更新他们的MATLAB，SIMULINK和嵌入式编码器软件。万博1manbetx它们还建立了模拟语义的最佳实践，以符合工具集的当前方向，包括使用模型引用和配置集。他们在新项目上实施了这些最佳实践，该项目比商业喷气机在范围内大约10倍。
发展效率加倍。“基于模型的设计是比传统的手工编码方法更有效的一倍半，”韦弗说。“增加涵盖了软件生命周期的所有方面，从高级和低级要求到编码，集成和验证。”
认证计划维持。“将要求链接到我们的模型，在Simulink中运行连续测试，并根据DO-178B级别的嵌入式编码器生成生产代码是尽管挫折，但梅利亚万博1manbetx拉雷德（Bae）的应用软件领先工程师系统。“能够跟踪对实施它们的模型元素的文本要求是与认证机构的巨大打击。”
团队之间的沟通便利。“在整个项目中，我们依赖于Simulink作为通信媒介，”笔记织布器。万博1manbetx“在美国，英国和巴西的团队致力于该项目。详细的，定量的Simulink测试向量和模型补充了高级万博1manbetx要求，并使这些地理上分散的团队互相沟通方便。“
加入客户参考计划
您还可以从以下列表中选择一个网站：