Green Hills Software

Fundada en 1982 por Dan O'Dowd y Carl Rosenberg en Santa Bárbara. Su línea de producto gira en torno a INTEGRITY, un sistema operativo de tiempo real construido para sistemas donde un fallo puede costar vidas: aviones (DO-178), defensa, equipos médicos y coches.

El núcleo de separación INTEGRITY-178B fue el primero del mundo en alcanzar el nivel EAL6+ de los Common Criteria, es decir, un aislamiento entre procesos formalmente demostrado. La empresa también fabrica compiladores y el entorno de desarrollo MULTI. Su fundador, O'Dowd, es hoy más conocido fuera del sector por sus campañas contra la conducción autónoma de Tesla.