本页面使用了机器翻译。
请花 1 分钟时间完成一个翻译质量的调查。
空中客车防务与航天公司使用基于模型的设计通过 DO-254 (DAL A) FPGA 获得民用认证
“对于飞行控制航空电子设备的认证而言，其关键挑战在于：如何在最早的需求阶段就采用严谨的方法来发现错误，同时又能充分利用 HDL 代码生成和验证复用所带来的优势。”
关键成果
- 通过使用参考模型，大型团队能够在同一架构中工作
- 专为符合 ED-80/DO-254 标准的空客 ALM 开发流程而定制的 Simulink 工具箱
- 自动生成为 ED-80/DO-254 开发的 HDL 代码
- 经过全面硬件验证的高质量 HDL 代码，使设计人员能够专注于硬件功能
- 通过在不同的集成级别复用测试来检测错误
空中客车防务与航天部门的机载电子硬件 (AEH) 团队为空中客车C295飞机开发了一款襟翼高升力控制单元 (HLCU)。该单元已获得机载硬件民用认证，其认证依据包括 EASA EUROCAE ED-80 与 FAA RTCA DO-254 标准，以及 EASA 的 SWCEH-001 号认证备忘录。
HLCU 将其所有复杂的硬件功能嵌入到 FPGA 中。 MATLAB® 和 Simulink® 通过缩短设计和测试阶段，实现关键流程合规，从而带来更安全的硬件开发。使用 MATLAB 和 Simulink 帮助 AEH 团队完成了完整的 V 模型周期：HLCU 的建模、仿真、自动 HDL 代码生成、测试和验证。在 2020 年初，AEH 团队通过使用该工作流程、基于模型的设计和 HDL 代码生成，获得了 EASA 和 FAA 颁发的全球首个符合 ED-80/DO-254 安全关键民用认证。
