
INTEGRITY-178 tuMP is FACE verified for Intel multicore processors
CERTON, an independent FACE Consortium approved Verification Authority, verified conformance with the Technical Standard for Future Airborne Capability Environment (FACE) edition 2.1.1, making Green Hills Software the sole supplier with a FACE-conformant operating system for Intel architectures. The FACE Registry’s inclusion of a UoC for the Intel version of INTEGRITY-178 tuMP demonstrates full completion of the FACE conformance activities. This conformation means that Green Hills Software has completed FACE 2.1.1 conformance for three separate multicore architectures; Armv8, PowerPC/QorIQ and Intel. Each INTEGRITY-178 tuMP UoC has also been verified against both the Safety Base and Security Profiles with each profile including verification for C, C++ and Ada support.
INTEGRITY-178 tuMP is the only multicore operating system that meets the ARINC-653 standard’s requirement for multicore operation as defined in Supplement 4 for the ARINC-653 standard. The INTEGRITY-178 tuMP operating system has also successfully met the DO-178 DAL A certification objectives on several different multicore SoC types
With the successful completion of its FACE 2.1.1 conformance objectives, Green Hills Software is now prepared for the FACE Technical Standard 3.0 conformance requirements. FACE 3.0 requires compliance with Supplement 4 of the ARINC-653 standard, including the multicore operation requirements defined in Section 2.
More information
www.ghs.com
Related news
DO-178 software reuse in the ISO 26262 domain reduces cost for automotive suppliers
Single Board Computers address mission-critical avionics with VxWorks 653
Honeywell Aerospace and Core Avionics & Industrial join forces to develop avionics display systems
Intel Management Engine security flaws affect latest processors
