Green Hills Software is to verify conformance of its Integrity-178 operating system with the technical standard for Future Airborne Capability Environment (FACE) edition 2.1. Certon, the critical systems certification firm, will help carry out the verification Time-Variant Unified Multi Processing (tuMP) operating system for three different multicore architectures, or Units of Conformance (UoC): Intel, ARMv8 and PowerPC/QorIQ. ...

This story continues at Green Hills verifies multicore OS for future airborne systems

Or just read more coverage at Electronics Weekly