BAE systems
Team Tempest Advanced Combat Air Systems Development
![](/uploads/customers/_500xAUTO_crop_center-center_none/FRQ3t3uWQAIi295.jpeg)
As part of the Tempest future combat air system program, BAE Systems will be using the VxWorks 653 platform, a part of Wind River Studio, and associated DO-178C DAL B safety certification evidence packages, and AdaCore's GNAT Pro Assurance as part of ongoing technology demonstration project work.