空客直升机做加速发展- 178 b认证软件和基于模型的设计

挑战

加快开发、验证和验证的- 178 b认证直升机飞行软件

使用基于模型的设计模型的系统设计和软件设计,并生成飞行代码

“我们用我们的系统设计模型在仿真软件ARP4754建立稳定、客观需求。金宝app我们节省时间,使用模型作为我们的软件设计模式的基础- 178我们生成的飞行区号为软件重用验证测试验证。”
罗纳德•Blanrue空客直升机

空客直升机EC130直升机。

构建软件飞机符合做- 178 b - 178 c, ARP4754指南提出了诸多挑战。制定一个正式的计划后,软件方面的认证(PSAC)和批准的欧洲航空安全局(EASA认证),软件开发组织必须严格遵循这一计划,然后证明这样做在收到认证。这些挑战往往加剧了改变,或缺乏沟通,系统和软件规范。

工程师在空客直升机使用基于模型的设计,加快开发和稳定系统和软件规范。基于文本的需求,软件体系结构模型,在仿真软件系统设计和软件设计金宝app^®,然后使用嵌入式编码器^®为飞行软件来生成代码,包括空调控制系统(bi-zone温度、除雾和除霜)上空客直升机EC130直升机。

“金宝app模型使我们能够尽早稳定我们的要求和规范,因为我们同时开发规范和设计,”罗纳德·Blanrue说,空客航电认证专家直升机。“我们验证与仿真软件模型要求和规范,然后重用与嵌入式编码器模型生成代码。”金宝app

在开始开发之前,空客直升机需要一个全面的认证策略,其中包括识别必要的软件开发和验证工具。公司会提出这个计划负责审查和批准。

作为一个成熟的开发组织,空客直升机很少遇到困难与编码和测试;相反,他们的问题源于困难稳定规范。工程师有时误解需求和实现一个系统,表现正确但不。事实上,该公司估计,多达90%的问题发现在发展后期由于规范和设计中的错误,而不是源代码。空客直升机想稳定和验证需求在开发流程的早期做- 178 b注册软件。

空客直升机发达PSAC基于仿真软件,仿真软件检查™,仿真软件覆盖™,EC130空调软件和嵌金宝app入式编码。

他们用仿真软件为AR金宝appP4754模型系统设计。验证规范,他们进行了功能测试模型和行为模型,也建在仿真软件。金宝app

他们重用系统模型,添加细节创建软件设计做- 178 b。测试团队创建了系统设计的增强和重用来验证软件设计。

该团队使用模型检查检查符合-金宝app 178 b建模标准。他们也检查自定义建模指南,例如将遗产与S-functions C代码到模型。

从仿真软件模型覆盖报告覆盖率使团队识别的元素设计或规范,金宝app不受他们的测试。虽然报告没有提交认证信用,覆盖率分析帮助团队为对象代码创建一个完整的测试套件,用于认证。

使用嵌入式编码器,空客直升机工程师软件设计模型生成的C代码。进行代码评审后使用模型到代码的双向嵌入编码器生成的导航链接,团队编译和生成的代码进行测试。帮助实现软件验证(包括代码覆盖),他们再次重用测试用例用于仿真软件模型的确认和验证。金宝app

软件是认证- 178 b DAL C EASA认证和目前生产EC130直升机。

软件测试时间减少三分之二。“我们花几周测试软件使用,但与基于模型的设计只需要几天,”托马斯·格拉说,设计工程师在空客直升机。“我们已经改变我们的测试工作,验证活动,使我们在发展早期识别并解决问题。”
早些时候需求稳定。“我们用仿真金宝app软件验证规范与设计模型,然后重用它模型软件。没有其他的过程改进挽救了我们尽可能多的时间快速稳定的规范,“Blanrue说。这种方法可以使空客直升机冻结规范去年同期相比以前多年的项目。
认证的飞行软件自动生成的。“我们与证书颁发机构的谈判是积极的因为EASA看到更多的公司依赖模型的软件开发和识别模型的价值,“Blanrue说。“完成代码评审之后,EASA认证的飞行软件,我们用代码生成的嵌入式编码- 178 b。”