You just read:

Green Hills Software Contracts CERTON to Verify Conformance of Its INTEGRITY-178 tuMP Operating System to the FACE Technical Standard v2.1 for Intel, ARMv8 and PowerPC Architectures

News provided by

Green Hills Software

Oct 17, 2017, 08:00 ET