风河VxWorks Cert
VxWorks Cert平台是面向高可靠、高安全计算机系统的商业化操作系统平台，适用于那些必须通过严格的RTCA/DO-178B或EUROCAE/ED-12B（机载系统和设备合格审定中的软件考虑）、RTCA/DO-278（地面系统的认证），或其他相当的安全标准验证的系统。
VxWorks Cert平台是基于标准的VxWorks 6.6开发的操作系统，在VxWorks 6.6基础上选择了多于240个系统调用API（VxWorks 6.6的子集），包括Cache、Clock、Event Flag、Interrupt、Memory Management、Message Queue、Ring Buffer、Semaphore、Signal、Task Management Calls以及相应的C库。这些调用全部具有确定性并完全满足DO-178B/IEC61508安全标准。
因为Workbench和VxWorks接口在验证和非验证配置下是相同的，所以与VxWorks Cert拥有相同系统调用的VxWorks代码无需修改，在Workbench下可直接立即导到VxWorks Cert验证环境中，从而极大地提高了工业控制系统的开发速度和质量。
VxWorks Cert Platform 包含的组件
Wind River Workbench 3.1
Wind River VxWorks 6.6
VxWorks 6.6（VxWorks Cert）
GNU Compiler 4.1.2
Wind River Compiler 5.6.0
MPC 8349E参考BSP（PowerPC 603 Architecture， PowerPC e300 Core）
可选择的组件
Certified Network StackTCP/UDP/IPv4With Multicast
Workbench Plug-in For On-Chip-Debugging（OCD）
DO-178B/IEC61508 Certification Evidence DVD
