The goal of the Future Airborne Capability Environment (FACE) technical standards is to make military aircraft platforms more interoperable, affordable, and quickly upgradeable. Boeing [BA], the Army, AdaCore, and Presagis […] ...