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 EAL 6+, DO-178/ED-12 DAL A, IEC 61508 SIL 3, EN 50128 SIL 4, ISO 26262 ASIL D, 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 38 years, Green Hills has successfully solved a wide variety of embedded challenges, providing safe, 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 (automotive), EAL 6+ High Robustness (security), DO-178/ED-12 DAL 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.