You just read:

Green Hills Software's INTEGRITY-178 tuMP RTOS Selected for Embedded GPS/INS-Modernization Program

News provided by

Green Hills Software

Feb 27, 2020, 08:00 ET