INTEGRITY-178 Time-Variant Unified Multi Processing (tuMP) has already been certified for Power architecture. The certification covers Safety Base and Security profiles, and includes verification for C, C++ and Ada support.
Published in November 2017, FACE v 3.0 requires any Operating System Segment (OSS) that claims support for multicore partitions to meet ARINC-653 Part 1 Supplement 4, including the ability for “Multiple processes within a partition scheduled to execute concurrently on different processor cores.” INTEGRITY-178 tuMP allows any combination of AMP, Bound Multi-Processing (BMP), and Symmetric Multi-Processing (SMP). BMP is an enhanced and restricted form of SMP that can statically bind an application’s ARINC-653 processes to a specific set of cores, allowing tighter control of the concurrent operation of multiple cores. The INTEGRITY-178 tuMP implements AMP, BMP, and SMP on all of its FACE-conformant architectures.