グリーンヒルズソフトウェア

グリーンヒルズソフトウェア株式会社

会社種別	プライベート
業界	組み込みシステムソフトウェアツール
設立	1982年; 42年前 (1982)
創設者	ダン・オダウド カール・ローゼンバーグ
本部	カリフォルニア州サンタバーバラ 、 アメリカ合衆国
主要人物	ダン・オダウド社長
製品	オペレーティングシステム プログラミングツール
Webサイト	ホームページ

グリーンヒルズソフトウェアは、組み込みシステム用のオペレーティングシステムとプログラミングツールを開発する非公開企業です。^{[1] [2]同社は1982年にダン・オダウドとカール・ローゼンバーグによって設立されました。本社は}カリフォルニア州サンタバーバラにあります。^[3]

1990年代、組み込みシステムソフトウェア開発ツールのメーカーであるGreen Hills SoftwareとWind River Systemsは、両社の製品を使用する顧客を協力してサポートする99年間の契約を締結しました。この契約は2005年の訴訟により終了しました。袂を分かった後、Wind RiverはLinuxとオープンソースソフトウェアを公に支持し、Green Hillsは国家安全保障に関連するプロジェクトでのオープンソースソフトウェアの使用を非難する広報キャンペーンを開始しました。^[1]

2008年、グリーンヒルズのリアルタイムオペレーティングシステム（RTOS）Integrity-178は、国家安全保障局（NSA）と国立標準技術研究所（NIST）で構成される国家情報保証パートナーシップ（NIAP） によって評価保証レベル（EAL）6+に認定された最初のシステムでした。^{[4] [5]}

2008年11月、Integrity 178-Bの商用版が、Green Hills Softwareの子会社であるIntegrity Global Securityによって民間部門に提供されることが発表されました。^{[5] [より良い情報源が必要]}

2012年3月27日、グリーンヒルズソフトウェアと任天堂の間で契約が発表されました。これにより、任天堂とそのライセンスを受けた開発者がビデオゲームコンソールWii Uをプログラムするための公式統合開発環境およびツールチェーンとしてMULTIが指定されました。^{[6] [非一次ソースが必要]}

2014年2月25日、アーバン・エアロノーティクス社が同社のAirMule空飛ぶ車 無人航空機（UAV）（以降Tactical Robotics Cormorantと改名）にIntegrityオペレーティングシステムを採用したことが発表された。^{[4] [非一次情報源が必要]}

IntegrityはPOSIX リアルタイムオペレーティングシステム（RTOS）です。Integrityの派生版であるIntegrity-178Bは、2008年11月にCommon Criteria 評価保証レベル（EAL）6+、高堅牢性に認定されました。 ^{[7] Micro Velosity（} μ-velOSity と表記）は、リソースに制約のあるデバイス向けのリアルタイムマイクロカーネルです。 ^{[8] [9]}

Green Hillsは、プログラミング言語C、C++、Fortran、Ada用のコンパイラを製造しています。これらはクロスプラットフォームであり、RISC-V、ARM、Blackfin、ColdFire、MIPS、PowerPC、SuperH、StarCore、x86、V850、XScaleなどの32ビットおよび64ビットのマイクロプロセッサに対応しています。^{[10] [11] [非一次ソースが必要] [12]}

MULTIは、組み込みエンジニアを対象としたプログラミング言語C、C++、Embedded C++（EC++）、Adaの統合開発環境（IDE）です。 ^{[13] [非一次ソースが必要]}

TimeMachineは、CおよびC++ソフトウェアを最適化およびデバッグするためのツールセットです。^{[14] [15]} TimeMachine（2003年に導入）はリバースデバッグをサポートしており、^[16]この機能は後に無料のGNUデバッガ（GDB）7.0（2009年）でも利用可能になりました。^[17]