整合性（オペレーティングシステム）

誠実さ
開発者	グリーンヒルズソフトウェア
OSファミリー	リアルタイムオペレーティングシステム
作業状態	現在
ソースモデル	クローズドソース（機密）
マーケティングターゲット	組み込みシステム
利用可能	英語
プラットフォーム	ARM、XScale、Blackfin、ColdFire、MIPS、PowerPC、IA-32、x86-64
カーネルタイプ	マイクロカーネル
ユーザーランド	POSIX
ライセンス	独自
公式サイト	www.ghs.com/products/rtos/integrity.html

INTEGRITYおよびINTEGRITY-178Bは、 Green Hills Softwareが製造および販売しているリアルタイムオペレーティングシステム(RTOS)です。

誠実さ

INTEGRITYはPOSIX認定を受けており、 32ビットまたは64ビットの組み込みシステムでの使用を目的としています。サポートされているコンピュータアーキテクチャには、 ARM、Blackfin、ColdFire、MIPS、PowerPC、XScale、x86などがあります。INTEGRITYは、wolfSSLなどの一般的なSSL/TLSライブラリでサポートされています。^[1]

INTEGRITY-178Bは、INTEGRITYのDO-178B準拠バージョンです。B -2、^[2]F-16、F-22、F-35などの軍用ジェット機や、民間航空機のエアバスA380 ^[3]に使用されています。そのカーネル設計は、動的メモリ割り当てなどの機能を排除することで、計算時間の制限を保証しています。

監査およびセキュリティエンジニアリングの能力により、国家安全保障局（NSA）による評価保証レベル（EAL）6の評価を取得しました。 ^[3]評価のセキュリティターゲットの評価対象（TOE）アーキテクチャは、ファイルシステムやネットワークなどのコンポーネントをTOEの定義から除外し、ほぼコアカーネルのみに焦点を当てています。^[4]Windows、macOS、Linuxなどの他のオペレーティングシステムは、より低い保証レベルで評価されていますが、通常、これらの機能はTOEに含まれています。

INTEGRITY アーキテクチャサポートパッケージ (ASP) は、多くのプロセッサファミリをサポートします。

^ 「i.MX6 CAAM with Integrity OS - wolfSSL」2018年10月26日。 2019年2月14日閲覧。
^ 「退屈か退屈か? Lockheed Martin が COTS ハードウェア事業に参入」。VITA Technologies Magazine。2010 年 12 月 10 日。2012 年 5 月 2 日時点のオリジナルよりアーカイブ。2012年3 月 9 日閲覧。
^ ab Kelly Jackson Higgins (2008-11-18). 「Secure OS Gets Highest NSA Rating, Goes Commercial」Dark Reading。2013-12-03 時点のオリジナルよりアーカイブ。2013-12-01閲覧。
^ 「Integrity-178B Separation Kernel Security Target」(PDF) . SAIC. 2011-01-31 . 2011-03-22に閲覧。