“当我们使用嵌入式编码器从Simulink模型生成代码时，我们交给万博1manbetx的团队知道它是黄金，因为我们已经通过客户提供的Simulink测试向量进行了调试，完全满足了要求。这是该程序的巨大优势。”
Maria Radecki，BAE系统电子解决方案公司万博 尤文图斯
2011年，当一系列风暴席卷纽约州南部时，位于约翰逊市的BAE系统公司设施被1600万加仑的水淹没。由此造成的水损害破坏了计算机系统、文件和整个工作区域，威胁着许多正在进行的项目脱轨。这些项目包括为世界上第一架电传（FBW）中型商务飞机开发飞行控制计算机（FCC）软件。
基于模型的设计帮助BAE系统团队使项目回到正轨，并将其认证为DO-178B A级。
BAE系统公司高级首席系统工程师迈克·韦弗（Mike Weaver）说：“在这些恶劣天气事件之后，基于模型的设计绝对帮助我们按时完成任务。”。“因为我们在洪水中损失了很多测试设备，在Simulink中运行模拟是一个巨大的优势，特别是当我们使用客户提供的测试向量时。Simulink使我们能够在生成代码之前在桌面上验证和集成我们的设计。”万博1manbetx
除了与天气有关的损坏，BAE系统工程师还面临着另一个意外事件。他们被要求为同一架飞机承担第二个项目：为另一个飞行关键应用程序开发软件。为了满足客户为这些应用程序提供的数千个高级别要求，团队将ld需要从嵌入式编码器产生近200000行代码®这将与操作系统和应用程序其余部分中的手动代码集成。
BAE Systems采用的开发方法通过模拟、需求跟踪、模型覆盖率分析和代码生成支持DO-万博1manbetx178B设计保证a级认证。这种方法必须使他们能够有效地响应需求变化和不可预见的事件。
BAE系统工程师使用基于模型的设计和MATLAB开发了这些应用程序®，S万博1manbetximulink®，以及嵌入式编码器。他们以前曾使用这些工具根据DO-178 A级开发飞行软件，用于跨越军用和商用飞机应用的项目。
根据IBM客户提供的高级需求工作®合理的®门®，工程师们在Simulink中创建了模型。万博1manbetx
他们在和Simulink需求中使用了需求管理接口™ 在DOORS中的需求和Simulink模型中的设计元素之间万博1manbetx提供可追溯性。该方法支持开发过程和认证活动。万博1manbetx
对于模型的早期集成，团队使用客户提供的测试向量在Simulink中运行模拟。万博1manbetx
使用Simu万博1manbetxlink覆盖™ 该团队分析了模型覆盖率，并确定了模型中未经测试的元素。他们编写了额外的测试用例，以涵盖为飞行测试准备的任何未经测试的元素。
该团队将较小的模型集成到与软件架构一致的更高级别模型中，并使用嵌入式编码器为这两个应用程序生成代码。
经过代码审查和正式验证，飞机的飞行关键软件获得了FAA、EASA和其他监管机构的认证，目前正在生产中。
洪水过后，团队借此机会更新了他们的MATLAB、Simulink和嵌入式编码器软件。他们还建立了建模语义的最佳实践，以符合工具集的当前方向，包万博1manbetx括使用模型引用和配置集。他们在一个新项目上实施了这些最佳实践，该项目的范围大约是商务飞机的10倍。
开发效率翻了一番. “基于模型的设计比传统的手工编码方法效率高一倍半到两倍，”Weaver说。“这一增长涵盖了软件生命周期的各个方面，从高级和低级需求到编码、集成和验证。”
维持核证时间表BAE Systems的应用软件首席工程师Maria Radecki说：“将需求与我们的模型联系起来，在Simulink中运行连续测试万博1manbetx，并使用符合DO-178B A级要求的嵌入式编码器生成生产代码，是在遇到挫折的情况下保持项目按计划进行的关键。”。“将文本需求跟踪到实现它们的模型元素的能力受到了认证机构的巨大冲击。”
促进团队之间的沟通“在整个项目中，我们依靠Simulink作为沟通媒介，”Weaver指出。“美万博1manbetx国、英国和巴西的团队参与了该项目。详细、定量的Simulink测试向量和模型补充了高层次的要求，使这些地理位置分散的团队能够轻松地相互沟通。”
加入客户参考计划
您还可以从以下列表中选择网站：