Green Hills Software, the worldwide leader in high assurance operating systems, has announced that it has been selected by Infinite Dimensions Integration to provide its INTEGRITY-178 tuMP multicore operating system for the Resilient Embedded GPS/Internal Navigation System Prototype Pilot (R-EGI). Infinite Dimensions’ R-EGI prototype is based on the Raspberry Pi3 platform, which incorporates a quad-core Cortex-A53 ARMv8 SoC from Broadcom.
The R-EGI project is currently led by the Air Force Life Cycle Management Center and the Air Force Research Lab. R-EGI serves as an example for demonstrating the strategic change in avionics systems development using the Future Airborne Capability Environment (FACE) open systems architecture. It also is intended to validate an acquisition process experiment employing a community-based “Plug Fest/Plug Test” approach to rapidly explore the design space surrounding navigation systems architecture.
The Air Force R-EGI team of Infinite Dimensions and Green Hills Software rapidly prototyped an end-to-end vehicle control, navigation and guidance system (for air and ground) using the US Government’s Basic Avionics Lightweight Source Archetype framework (BALSA) and the Green Hills INTEGRITY-178 tuMP operating system. The resulting software runs on a commercially available Raspberry Pi3 embedded computing platform, yet is portable to other ARMv8 parts or even Intel and PowerPC multicore architectures. The demonstration aircraft is a Piper Cub scale model that is electromechanically the same as a full size Piper aircraft. The resulting R-EGI software from Infinite Dimensions is portable to other “real” aircraft with reduced integration times.
“Infinite Dimensions’ R-EGI demonstrator will prove a strategic transformation of both the acquisition process and a new approach to avionics system development that is agile, lowers the barrier to participation, simplifies accreditation (both cybersecurity and airworthiness), and reduces the timelines and resources required to build avionics systems and their components,” said Dr. Jeffrey Wallace from Infinite Dimensions Integration.
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 virtualization.