Green Hills Software has announced the selection of the INTEGRITY®-178 tuMP real-time operating system (RTOS) by Raytheon Intelligence & Space (RI&S) for their offering of the Military Global Positioning System User Equipment (MGUE) Increment (Inc) 2 Miniature Serial Interface (MSI) with Next-Generation Application Specific Integrated Circuit (ASIC).
RI&S is developing one MSI card for aviation and maritime systems and another MSI card for ground-based systems, and INTEGRITY-178 tuMP will be used in both solutions running on the Arm® processor-based ASIC. RI&S selected the INTEGRITY-178 tuMP RTOS based on its use in previous programs and for its ability to simultaneously meet both safety and security requirements. Those requirements included the highest DO-178C design assurance level (DAL A) and the NSA-defined separation kernel protection profile (SKPP) for “high robustness” security.
The Military GPS User Equipment is the GPS receiver for the modernised GPS Enterprise, and it is capable of receiving military code (M-Code) from newer satellites, including GPS-III. M-Code is a more robust, jam-resistant form of GPS that also uses more modern and flexible encryption methods to make it resistant to spoofing. The MGUE Inc 2 MSI program is developing a smaller M-Code ASIC and receiver card that consumes less power while increasing functionality, security and performance. The smaller card will enable use in handheld and dismounted applications as well as mounted, maritime and aviation platforms. The Government Accountability Office estimates that approximately 700 different types of weapon systems will ultimately require M-Code cards and M-Code-capable receivers, including ships, aircraft, ground vehicles, munitions, and handheld devices. RI&S was one of three companies awarded by the U.S. Space Force’s Space Systems Command for the MGUE Inc 2 MSI with Next-Generation ASIC program.
“Green Hills Software has a long history of working with RI&S on GPS & navigation systems, and we are pleased to be part of their MSI with Next Generation ASIC solution,” said Dan O'Dowd, founder and CEO of Green Hills Software. “Airborne GPS solutions require both safety and security, and the INTEGRITY-178 RTOS has an unrivaled pedigree in the combination of certified high-robustness security with certified DO-178C safety assurance.”
The INTEGRITY-178 tuMP high-assurance RTOS from Green Hills Software is uniquely designed to meet both DO-178C DAL A airborne safety requirements and the NSA-defined Separation Kernel Protection Profile. INTEGRITY-178 is the only commercial operating system ever certified to the SKPP, and that certification was done by the National Information Assurance Partnership to Common Criteria EAL 6+ and “High Robustness.” Beyond the separation kernel, INTEGRITY-178 tuMP provides a complete set of APIs for use by multi-level security applications within a secure partition, e.g., an MLS guard, which is a fundamental requirement in a cross-domain system. INTEGRITY-178 tuMP is also the first and only RTOS to be part of a cross-domain solution certification to NSA’s new “Raise the Bar” initiative. INTEGRITY-178 was the first commercial RTOS approved as complying with DO-178B Level A objectives, and INTEGRITY-178 tuMP is the only RTOS to be part of a multicore certification to DO-178C and CAST-32A multicore objectives. INTEGRITY-178 tuMP directly supports a Modular Open Systems Approach, and it was the first RTOS to be certified conformant to the FACE Technical Standard, edition 3.0.