Green Hills Software
詳細情報
- 作成者
- Dan O'Dowd, Carl Rosenberg
- 公開
- 1982年
- 種類
- リアルタイムオペレーティングシステム
- 公式サイト
- ghs.com
航空電子機器や防衛向けの安全重視リアルタイムOS「INTEGRITY」を手がける米国企業。
1982年にDan O'DowdとCarl Rosenbergがサンタバーバラで設立した。製品の中心はINTEGRITYで、故障が人命にかかわるシステム、すなわち航空機（DO-178）、防衛、医療機器、自動車を想定したリアルタイムOSである。
INTEGRITY-178Bセパレーションカーネルは、世界で初めてコモンクライテリアのEAL6+に到達した。プロセス間の分離が形式的に証明されているということだ。同社はコンパイラや統合開発環境MULTIも提供している。創業者のO'Dowdは、今では業界外ではテスラの自動運転に反対するキャンペーンのほうで知られている。