Green Hills Software
Daha fazla bilgi
- Kurucular
- Dan O'Dowd, Carl Rosenberg
- Yıl
- 1982
- Tür
- Gerçek zamanlı işletim sistemi
- Resmî site
- ghs.com
Havacılık ve savunma için güvenlik açısından kritik gerçek zamanlı işletim sistemi INTEGRITY’nin arkasındaki ABD firması.
1982’de Dan O'Dowd ve Carl Rosenberg tarafından Santa Barbara’da kuruldu. Ürün yelpazesinin merkezinde INTEGRITY yer alır: bir arızanın can kaybına yol açabileceği sistemler — uçaklar (DO-178), savunma, tıbbi cihazlar ve otomobiller — için tasarlanmış bir gerçek zamanlı işletim sistemi.
INTEGRITY-178B ayrım çekirdeği, dünyada Common Criteria EAL6+ düzeyine ulaşan ilk çekirdek oldu; yani süreçler arasındaki yalıtım biçimsel olarak kanıtlandı. Şirket ayrıca derleyiciler ve MULTI geliştirme ortamını da üretir. Kurucu O'Dowd, bugün sektör dışında en çok Tesla’nın sürücüsüz sürüşüne karşı yürüttüğü kampanyalarla tanınıyor.