https://www.embedded-world.de/en/ausstellerprodukte/embwld20/product-10197283/integrity-real-time-operating-system-family

The INTEGRITY RTOS family enables standardized development using technology intended for resource-constrained embedded devices through secure workstations and servers. INTEGRITY, the only RTOS technology certified to EAL6+, DO-178B Level A, IEC 61508 SIL, EN 50128, ISO 26262 and FDA Class III, provides total reliability; unbreakable security; fast, deterministic performance; the latest networking and middleware; and secure virtualization.

Green Hills Software is the worldwide leader in embedded safety and security. For more than 35 years Green Hills has successfully solved a wide variety of embedded challenges, providing secure and scalable solutions for automotive, avionics, industrial, medical, mobile devices, networking, smart energy, software defined radio and railway. The INTEGRITY RTOS family is certified to IEC 61508 SIL 3 (industrial), EN 50128 SIL 4 (railway), ISO 26262 ASIL D, EAL6+ High Robustness (security), DO-178 Level A (avionics), and FDA Class III (medical). In addition, the MULTI toolchain has been certified to meet the highest levels of tool qualification specified in the IEC 61508:2010 (Industrial), EN 50128:2011 (Railway) and ISO 26262:2011 (Automotive) functional safety standards.