Green Hills Software
Mer info
- Skapad av
- Dan O'Dowd, Carl Rosenberg
- År
- 1982
- Typ
- Realtidsoperativsystem
- Officiell sajt
- ghs.com
Amerikanskt bolag bakom INTEGRITY — ett säkerhetskritiskt realtidsoperativsystem för avionik och försvar.
Grundat 1982 av Dan O'Dowd och Carl Rosenberg i Santa Barbara. Produktlinjen kretsar kring INTEGRITY, ett realtidsoperativsystem byggt för system där ett fel kan kosta liv — flygplan (DO-178), försvar, medicinteknik och bilar.
Separationskärnan INTEGRITY-178B var först i världen att nå Common Criteria-nivån EAL6+, det vill säga formellt bevisad isolering mellan processer. Bolaget gör också kompilatorer och utvecklingsmiljön MULTI. Grundaren O'Dowd är på senare år mest känd utanför branschen för sina kampanjer mot Teslas självkörning.