“当我们从模型生成的代码模型与嵌入式编码器,团队,我们把它交给知道金宝app这是黄金调试,完全满足要求,因为我们有运行它通过仿真软件测试向量由客户提供。这是一个巨大的优势在这个计划。”
玛丽亚Radecki, BAE系统公司电子解决方案金宝搏官方网站
当一系列的风暴席卷南部纽约州2011年,约翰逊市的BAE系统公司设施1600万加仑的水淹了。由此产生的水损害破坏计算机系统、文档和整个工作区域,威胁要破坏许多正在进行的项目。这些项目包括飞行控制计算机(FCC)软件开发的世界上第一个飞行线控系统(FBW)中型商业喷气机。
基于模型的设计帮助BAE系统公司团队项目回归正轨,证明它- 178 b级。
“这些灾害性天气事件后,基于模型的设计绝对帮助我们保持时间表,”迈克·韦弗说,高级系统工程师主要BAE系统公司。“因为我们在洪水中失去了我们的测试设备,运行模拟仿真软件是一个巨大的优势,尤其是当我们使用客户提供的测试向量。金宝app金宝app仿真软件使我们能够验证和整合我们的设计在桌面上生成的代码之前。”
除了天气破坏,BAE系统公司工程师面临的另一个意外的事件。他们被要求承担的第二个项目相同的飞机:为另一个flight-critical应用程序软件开发。来满足成千上万的高级需求,他们的客户提供了这些应用程序,这个团队需要嵌入式编码器生产近200000行代码®与手工代码集成在操作系统和应用程序的其余部分。
BAE系统公司使用的开发方法,支持- 178 b设计保证认证通过模拟水平,需求的可跟踪性,金宝app模型覆盖分析和代码生成。这种方法已经使他们有效应对需求变化和不可预见的事件。
BAE系统公司工程师和MATLAB开发的这些应用程序使用基于模型的设计®,仿金宝app真软件®,嵌入式编码器。他们之前已经使用这些工具来开发飞行软件根据为项目做- 178水平跨越两个军用和商用飞机的应用程序。
工作在IBM客户提供的高级需求®理性的®门®在仿真软件工程师创建的模型。金宝app
他们在和使用需求管理界面要求工具箱™提供需求之间的可跟踪性的门和设计元素在仿真软件模型。金宝app这种方法支持开发过程和认证活金宝app动。
早期的集成模型,研究小组在仿真软件模拟使用测试向量由客户提供。金宝app
使用仿真软件金宝app覆盖™的团队分析了模型覆盖率和确定测试他们的模型的元素。他们写额外的测试用例覆盖任何未经测试的元素为飞行测试做准备。
团队规模较小的模型集成到更高级的模型与软件架构,并使用嵌入式编码应用程序来生成代码。
代码评审和正式的验证后,飞机flight-critical软件收到FAA认证负责,和另一个监管机构,目前在生产。
洪水过后,团队利用这个机会更新他们的MATLAB,仿真软件和嵌入式编码软件。金宝app他们还建立了语义建模的最佳实践是符合当前的工具集,包括使用参考模型和配置集。他们已经实现了这些最佳实践在一个新项目,大概是10倍的范围比商业飞机。
开发效率翻倍。“基于模型的设计是一个半到两倍的效率比传统的手动方法,”韦弗说。”,增加覆盖了软件生命周期的所有方面,从高级和低级需求编码、集成和验证。”
认证计划维护。“要求与我们的模型,在模型运行连续测试,并生成生产代码和嵌入式编码符合做- 178 b水平关键是保持项目如期尽管挫折,”玛丽亚Ra金宝appdecki说,应用软件在BAE系统公司首席工程师。“跟踪文本的能力需求实现的模型元素与认证中心是一个巨大的打击。”
团队之间的交流促进了。“在整个项目中,我们依靠仿真软件作为传播媒介,”韦弗。金宝app“团队在美国,英国,和巴西项目工作。详细的定量仿真软件测试向量和模型补充高级需求,这些地理金宝app上分散的团队更容易相互沟通。”
加入客户参考程序
