Компания Green Hills Software сообщила, что агентство национальной безопасности США сертифицировало ее ОС РВ Integrity-178B по стандарту EAL6+ — почти самому высокому на сегодня уровню защищенности (максимальный EAL7 подразумевает полную формальную верификацию исходных текстов и модели системы). Для сравнения, конкурирующая ОС РВ Neutrino от QNX, а также Linux и Windows имеют или скоро получат сертификаты EAL4. Две последние ОС можно запускать в Integrity-178B в качестве “гостевых”. Integrity эксплуатируется в военных приложениях, функционирует в авионике истребителей F-16, F-22 и F-35, и производитель обещает в ближайшее время выпустить коммерческую версию, доступную частным структурам.