【据airforce-technology网站2022年4月27日报道】BAE系统公司选择了Wind River公司来支持英国皇家空军“暴风”战斗机项目的技术演示工作。Wind River公司将提供VxWorks 653平台，DO-178C DAL B安全认证包，AdaCore GNAT Pro Assurance软件。VxWorks 653平台是一个综合模块化航空电子设备 (IMA) 平台，使用了一种通用计算平台。“暴风”战斗机项目是英国国防部牵头的项目之一，由行业合作伙伴团队和英国皇家空军的快速能力办公室（RCO）提供支持。