In case you missed it, Embedded Star published a case study about why EADS CASA selected AdaCore and Wind River to develop their air-to-air refueling application. EADS CASA is one of the Spanish branches of the European Aeronautic Defense and Space company (EADS), the largest European aerospace company and the second largest worldwide. EADS CASA needed a programming environment that combined the highest levels of safety with development speed and flexibility. The complex nature of the system being built required RTCA DO-178B level A safety certification, while the foundation operating system needed to be ARINC 653 compliant. The article is only two pages, but is an interesting read if you are in the safety critical or mil-aero industry.