Green Hills verifies multicore OS for future airborne systems

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. Integrity-178 is also being verified against both the Safety … [CLICK TO READ MORE]