航空电子DO-254解决方案

RTCA/DO-254标准是FAA针对机载电子设备硬件设计的质量保障标准，它详细定义了硬件开发过程的各个阶段的目标与活动的要求，以及各个支持过程的目标与活动的要求。

航空机载电子设备的开发过程，对DO-254合规性有强制性的认证要求。针对DO-254标准的硬件验证方法及设计工具链的合规性要求，以“需求驱动的验证技术”为基础，为用户提供符合DO-254标准的硬件测评解决方案，涵盖DO-254验证服务、设计验证EDA软件、培训，并可按照特定的项目进行定制化服务以满足不同项目的需求。

符合DO-254标准的开发流程如下图所示：

符合DO-254标准的测试验证流程

图元的DO-254解决方案：

DO-254验证服务

上海图元与英国TVS公司联合提供DO-254验证服务。TVS公司，是专业硬件和软件验证服务的领导者，在英国、法国、德国、印度设有分公司，TVS所服务过的客户包括芯片设计公司：ARM、Nvidia，意法半导体、恩智浦半导体、英特尔、博通等；航空：Rolls-Royce（劳斯莱斯），BAE；汽车电子：英飞凌（infineon）等。

验证服务的整个过程将严格按照DO-254的要求进行，并为客户提供全面完整的DO-254合规性验证证据，包括：

硬件验证计划

确认和验证标准

硬件追溯数据

硬件评审和分析过程

硬件评审和分析结果

硬件测试程序

硬件测试结果

硬件验收测试准则

问题报告

硬件配置管理记录

硬件过程保证记录

验证开发与管理环境

RDE是一套集成开发与验证环境软件，采用C/S架构，全面支持DO-254验证标准。该软件面向电子系统硬件设计过程，使用DO-254的研发体系结构和控制方法为项目团队提供高效、可视化和全程可跟踪的研发支持。

快速构建基于UVM的验证平台

基于需求驱动的设计验证流程

提供UVM可重用代码模板

实现100%功能和代码验证覆盖率

提供完整的SOI#3评审对设计验证数据的支持

快速整合主流EDA工具

支持IP复用和管理

支持变更影响分析

支持缺陷报告和解决流程的追踪

支持项目数据库管理

支持项目进度跟踪

RDE项目开发流程示意图

RDE软件平台包含以下模块：

数字系统开发平台（DSDP–DigitalSystemDevelopmentPlatform）

DSDP包括“确定测评需求”、“开发测试平台”以及“设计测评”三大部分。

DSDP示意图

该系统包含一套完整的测试验证平台的开发环境和相关标准文档：

RTL代码规则检查

验证计划的编写

验证平台的构建

验证案例的编写

验证结果的分析

覆盖率的统计

验证系统的搭建

EDA工具链

可通过定制将用户已有的和将有的EDA工具集成到RDE平台。

DO-254项目管理中心

需求管理中心

问题管理中心

配置管理中心

评审管理中心