航空电子DO-254解决方案
RTCA/DO-254标准是FAA针对机载电子设备硬件设计的质量保障标准，它详细定义了硬件开发过程的各个阶段的目标与活动的要求，以及各个支持过程的目标与活动的要求。
航空机载电子设备的开发过程，对DO-254合规性有强制性的认证要求。针对DO-254标准的硬件验证方法及设计工具链的合规性要求，以“需求驱动的验证技术”为基础，为用户提供符合DO-254标准的硬件测评解决方案，涵盖DO-254验证服务、设计验证EDA软件、培训，并可按照特定的项目进行定制化服务以满足不同项目的需求。
符合DO-254标准的开发流程如下图所示：
符合DO-254标准的测试验证流程
图元的DO-254解决方案：
RDE是一套集成开发与验证环境软件，采用C/S架构，全面支持DO-254验证标准。该软件面向电子系统硬件设计过程，使用DO-254的研发体系结构和控制方法为项目团队提供高效、可视化和全程可跟踪的研发支持。
DO-254验证服务
上海图元与英国TVS公司联合提供DO-254验证服务。TVS公司，是专业硬件和软件验证服务的领导者，在英国、法国、德国、印度设有分公司，TVS所服务过的客户包括芯片设计公司： ARM、Nvidia，意法半导体、恩智浦半导体、英特尔、博通等；航空：Rolls-Royce（劳斯莱斯），BAE；汽车电子：英飞凌（infineon）等。
验证服务的整个过程将严格按照DO-254的要求进行，并为客户提供全面完整的DO-254合规性验证证据，包括：
- 硬件验证计划
- 确认和验证标准
- 硬件追溯数据
- 硬件评审和分析过程
- 硬件评审和分析结果
- 硬件测试程序
- 硬件测试结果
- 硬件验收测试准则
- 问题报告
- 硬件配置管理记录
- 硬件过程保证记录
- 验证开发与管理环境
- 快速构建基于UVM的验证平台
- 基于需求驱动的设计验证流程
- 提供UVM可重用代码模板
- 实现100%功能和代码验证覆盖率
- 提供完整的SOI#3评审对设计验证数据的支持
- 快速整合主流EDA工具
- 支持IP复用和管理
- 支持变更影响分析
- 支持缺陷报告和解决流程的追踪
- 支持项目数据库管理
- 支持项目进度跟踪
RDE项目开发流程示意图
RDE软件平台包含以下模块：
数字系统开发平台（DSDP – Digital System Development Platform）
DSDP包括“确定测评需求”、“开发测试平台”以及“设计测评”三大部分。
DSDP示意图
该系统包含一套完整的测试验证平台的开发环境和相关标准文档：
- RTL 代码规则检查
- 验证计划的编写
- 验证平台的构建
- 验证案例的编写
- 验证结果的分析
- 覆盖率的统计
- 验证系统的搭建
EDA工具链
可通过定制将用户已有的和将有的EDA工具集成到RDE平台。
- DO-254项目管理中心
- 需求管理中心
- 问题管理中心
- 配置管理中心
- 评审管理中心
培训服务
提供DO-254标准，极其相关的先进验证方法学培训服务。
如需了解DO-254解决方案的更详细信息，请联系我们的销售或技术人员。
