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.