BAE systems
Team Tempest Advanced Combat Air Systems Development
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.