Green Hills Software contracts CERTON to verify conformance of its INTEGRITY-178 tuMP operating system to the FACE technical standard v2.1 for Intel, ARMv8 and PowerPC architectures

Green Hills Software, the worldwide leader in high-assurance operating systems, has announced that it has contracted CERTON, a Cyient Company, to verify conformance of its INTEGRITY-178 Time-Variant Unified Multi Processing (tuMP) operating system with the Technical Standard for Future Airborne Capability Environment (FACE) edition 2.1. Green Hills Software and CERTON are verifying the INTEGRITY-178 tuMP operating system for three different multicore architectures, or Units of Conformance (UoC): Intel, ARMv8 and PowerPC/QorIQ. In addition, each INTEGRITY-178 tuMP UoC is being verified against both the Safety Base and Security Profiles with each profile including verification for C, C++ and Ada support.

Following FACE verification and approval, INTEGRITY-178 tuMP will be the only FACE conformant operating system that offers true multicore operation (as opposed to an operating system that holds all cores but one in reset). INTEGRITY-178 tuMP is also the only multicore operating system that meets the ARINC-653 standard’s requirement for multicore operation as defined in Section 2 of Supplement 4 for the ARINC-653 standard: “Multiple processes within a partition scheduled to execute concurrently on different processor cores,” and “Multiple partitions scheduled to execute concurrently on different processor cores.” INTEGRITY-178 tuMP is the only RTCA/DO-178B DAL-A and CAST-32A compliant operating system that provides the ability for system architects to support both SMP and AMP Level A applications in a partitioned scheduled operating environment on a multicore SoC, thus enabling maximum throughput by way of highly optimised core utilization. INTEGRITY-178 tuMP is the worldwide high-assurance operating system leader when it comes to delivering the most efficient and optimal core utilisation for today’s advanced 32-bit and 64-bit multicore architectures – translation: INTEGRITY-178 tuMP is the industry leader in enabling optimal SWaP reduction results.

The INTEGRITY-178 tuMP multicore operating system is available for Intel, ARM and NXP PowerPC/QorIQ architectures, supporting both 32-bit and full 64-bit operation. INTEGRITY-178 tuMP for Intel architectures also offers support for Linux, Windows and Android GuestOS virtualisation.

Check Also

KAMIC Group acquires Talema Group

KAMIC Group AB has acquired all the shares in Talema Group LLC. The seller is …