INTEGRITY-178 tuMP RTOS Certified Conformant to the Latest Version of the FACE Technical Standard for Arm, Intel, and Power Architectures
Green Hills Software, the worldwide leader in high-assurance operating systems, today announced it has completed the certification of conformance for its INTEGRITY®-178 Time-Variant Unified Multi Processing (tuMP™) RTOS for Arm® architectures to the Future Airborne Capability Environment (FACE™) Technical Standard edition 3.0. The INTEGRITY-178 tuMP RTOS was previously certified for both Intel® and Power Architecture®, therefore all three major processor architectures used for security- and safety-critical applications are now certified. All certifications cover both the Safety Base and Security profiles and include verification for C, C++ and Ada support for both profiles. Even though version 3.0 of the FACE Technical Standard was published almost 1.5 years ago (November 2017), the INTEGRITY-178 tuMP RTOS remains the only software certified conformant to the latest revision.
Attaining conformance to the FACE 3.0 technical standard can be challenging for an operating system that is not designed to support the breadth of multicore architectures that exist in the market today. The FACE technical standard now requires any Operating System Segment (OSS) that claims support for multicore partitions to meet the 2015 update to ARINC-653 Part 1 Supplement 4, including the ability for “Multiple processes within a partition scheduled to execute concurrently on different processor cores.” Simplistic multi-processing architectures, such as Asymmetric Multi-Processing (AMP), are not sufficient to meet the requirements of Supplement 4. INTEGRITY-178 tuMP implements a richer set of multi-processing functionality, allowing 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 (i.e. threads) to a specific set of cores, allowing 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. INTEGRITY-178 tuMP functionality also makes it the only multicore RTOS solution suitable for Integrated Modular Avionics (IMA) as it provides the required features and tools necessary for system designers/integrators as well as sustainment operations to calculate the Worst Case Execution Times (WCET) of their airborne applications, while also mitigating the multicore interference risks and challenges.
“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,” said 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 (IMA) 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.”
Green Hills Software