FACE-conformant Arm architecture announced for RTOS by Green Hills Software

SANTA BARBARA, Calif. Green Hills Software has completed the certification of conformance for its INTEGRITY-178 Time-Variant Unified Multi Processing (tuMP) real-time operating system (RTOS) for Arm architectures to the Future Airborne Capability Environment (FACE) Technical Standard edition 3.0.

The INTEGRITY-178 tuMP RTOS -- although previously certified for both Intel and Power Architecture -- is now conformant with FACE, which means that all three major processor architectures used for security- and safety-critical applications are now certified. These three certifications cover both the Safety Base and Security profiles and include verification for C, C++, and Ada support for both profiles.

INTEGRITY-178 tuMP implements an enhanced set of multiprocessing functionality, which enables any combination of asymmetric multiprocessing (AMP), bound multiprocessing (BMP), and symmetric multiprocessing (SMP), say Green Hills officials. BMP is an enhanced and restricted form of SMP that can statically bind an application's ARINC-653 processes or threads to a specific set of cores, thereby enabling the system architect to more tightly control the concurrent operation of multiple cores. The INTEGRITY-178 tuMP RTOS implements AMP, BMP, and SMP on all of its FACE-conformant processor architectures.

"Green Hills Software is aggressively committed to compliance with the latest open standards, such as the FACE technical standard and ARINC 653 Part 1 Supplement 4," stated Dan O'Dowd, founder and chief executive officer of Green Hills Software. "While other RTOS suppliers claim to have multicore solutions for airborne systems, only Green Hills Software has flexible FACE 3.0-certified conformant solutions that enable equipment integrators and future sustainment operations to truly achieve and maintain an integrated modular avionics system. Our FACE 3.0-certified conformant INTEGRITY-178 tuMP products, coupled with our advanced multicore RTOS features, are a giant step forward in reducing vendor-lock of critical airborne systems in today's military aircraft."