WIND RIVER认证IP块目录

认证IP地址块目录 风河谷提供经过认证的IP模块，这些是针对安全性和安全性关键嵌入式系统而预先构建、预先文档化并预先验证的软件组件，附带DO-178C DAL A认证证据。这些模块可加速认证计划，同时降低集成风险和项目成本。本目录为每个可用模块提供技术规格和关键差异化点，支持认证工程师、系统架构师和项目技术负责人进行评估。 要了解 Wind River 认证 IP 模块如何加速实际项目的认证，请参阅《认证 IP 模块解决方案简报》。 此目录中的模块： • 柯蒂斯-赖特 VPX3-1708 参考 BSP — 用于 ARINC 653 系统的双层板级支持包• 柯蒂斯-赖特 VPX3-1708 安全引导加载程序 — 基于硬件锚定信任链的认证启动• 信息保障基础平台 (IAF) — 数据保护、完整性与可信启动服务• RTNET 认证 — 用于安全关键系统的确定性 TCP/IP 网络协议栈• 高可靠性文件系统 (HRFS) — 不受断电影响的交易式文件系统 DO-178C符合性文档 通过 Wind River 专业服务，每个模块均可获得一套完整的 DO-178C DAL A 合规工件集。每套工件集包含满足 DO-178C 四个阶段（规划、需求与设计、验证、完成）目标所需的数据，覆盖从《认证软件方面计划》（PSAC）到《软件完成总结》（SAS）的完整证据链，包括高层和低层需求、合规源代码、评审数据，以及完整的测试用例、程序和结果。 柯蒂斯-赖特 VPX3-1708 参考 BSP ARINC 653系统双层板级支持包 为 Curtiss-Wright VPX3-1708 单板计算机上的 ARINC 653 系统提供一套完整的双层板级支持包：一个支持 Helix 虚拟化平台 hypervisor层的模块 OS BSP，以及一个为 VxWorks 客户分区提供 RTOS 和完整设备驱动套件的分区 OS BSP。可通过 Wind River 专业服务获得 DO-178CDAL A 证据许可证。 核心差异点 • 完成双层覆盖——为ARINC 653系统的hypervisor（MOS）和分区（POS）级别专门设计的BSP • 全面驱动程序套件——适用于完整VPX3-1708设备集成的存储、总线、定时、DMA和离散I/O驱动程序 • 与目录块集成——RTNET、HRFS和IAF已预集成——认证堆栈即装即用；生产使用需要每个组件单独的许可证 • 每个组件证据——每个组件都附带专门的DO-178C工件文档，支持针对性的增量认证 柯蒂斯-赖特 VPX3-1708 安全引导加载程序 基于硬件的身份验证启动 一款经认证的安全引导加载程序，驻留在NXP LX2160A上Arm可信固件引导链的最终用户级阶段。在执行前，每个镜像都通过信息安全保障基金会（IAF）进行签名验证，引导介质通过事务性HRFS文件系统访问——将可信链从硅级扩展到操作系统级。IAF和HRFS集成在SBL中，并单独许可用于生产使用；客户开发自己的引导应用程序——即SBL组件，用于实现客户特定的镜像定位、加载和验证。通过Wind River专业服务可获得DO-178C DAL A证据。 核心差异点 • 认证启动路径 — 无图像未经 IAF 签名验证即可执行；包含加密图像支持• 最小占用空间分阶段设计 — 小型硬件初始化加载器启动基于 VxWorks 内核的启动应用程序 — 在最关键的安全启动阶段实现轻量级功能 信息保障基金会 (Xìnxī Bǎozhàng Jījīnhuì) 美国证券交易委员会引擎访问 信息安全保障基金会（IAF）为应用程序提供接口，使其能够安全地处理数据，并利用处理器的片上安全引擎（SEC引擎）进行加密和哈希运算来验证数据的完整性。IAF并非独立应用程序，而是一个库，预先集成在Curtiss-Wright VPX3-1708 SBL和BSP中——将加密功能绑定到非易失性存储器中受写保护的黑色密钥数据库（BKDB）——并单独许可用于生产使用。IAF是操作系统无关且针对特定处理器的，其DO-178C合规性文件通过Wind River专业服务提供。 核心差异点 • 硬件加密 — NXP SEC 引擎卸载所有 RSA/ECC 操作 — 密钥验证零 CPU 开销 • 防篡改密钥存储 — BKDB 在配置后硬件写保护；运行时无法修改 • 内核前强制执行 — 验证在操作系统加载前运行 — 不存在软件绕过路径 • 双镜像弹性 — 内置主/备镜像回退机制，具有独立的验证回调 • 可认证架构 — DO-178C A 级设计，具有完整功能头块 (FHB) 可追溯性并符合 MISRA-C 标准 技术规格 RTNET认证 VxWorks实时网络栈 一个为安全关键嵌入式系统构建的确定性TCP/IP网络栈——典型应用包括计算节点之间的机载网络，例如飞行控制计算机与控制面的通信。RTNET提供基于标准的套接字IPv4网络，并通过Wind River专业服务提供符合DO-178C DAL A认证要求的技术文件。 核心差异点 • DO-178C DAL A认证工件 — 堆栈的每个组件都携带专门的认证证据，为程序使用做好了集成准备 • 设计确定性 — 内核驻留、预分配的缓冲区池、基于静态API的配置 — 无运行时意外 • 标准合规性 — 在TCP、UDP、IPv4、ICMP和ARP方面符合30多项RFC标准，使用标准套接字API • 灵活部署 — 原生运行于VxWorks 7或Helix虚拟化平台上的ARINC 653分区中 — 系统可包含多个分区 技术规格 价值观反映了RTNET当前的认证配置。认证范围是刻意限定的；当前范围之外的功能在下方明确列出。 高可靠性文件系统 (HRFS) VxWorks 高可靠性文件系统 一个适用于嵌入式系统、支持事务性操作且不会因权限丢失导致数据损坏的文件系统，其中数据完整性是不可协商的。每一次写入操作要么完全提交，要么完全丢弃——自动进行，且不可能发生数据损坏影响到应用程序。HRFS已包含在VxWorks中；通过Wind River Professional Services提供DO-178C合规性文档和相应的源代码版本。 核心差异点 • 失效零腐败 — 无逻辑不一致状态；恢复自动无需人工干预 • 确定性、有界恢复 — 重放最多7个inode日志条目 — 毫秒级，而非随磁盘大小扩展的扫描 • 即插即用POSIX兼容性 — open()、read()、write()及相关API通过VxWorks VFS层无需修改即可工作 • 可认证的CERT构建 — 有界内存、确定性构建支持DO-178C、IEC 61508和ISO 26262程序 技术规格