Green Hills Software の New INTEGRITY Security Products for Multilevel Secure は EAL6+。

前にCCについてを調べていたときに発見した製品のメモ
2005年のプレスだから1年経っているけど

Green Hills Software Introduces New INTEGRITY
Security Products for Multilevel Secure
http://www.ghs.com/news/20050419_secure_products.html

NTEGRITY is now undergoing the most stringent security evaluation undertaken by any operating system, to Common Criteria Evaluation Assurance Level 6+ (EAL6+).

EAL6+だそう。

Available since 1997, the INTEGRITY operating system has been selected for some of the United States’

INTEGRITY operating systemというのを使用しているそうだ。

most security-critical and safety-critical systems, including the Joint Tactical Radio System (JTRS), B-1B bomber, F-35 Joint Strike Fighter, and Boeing X-45C Unmanned Combat Air Vehicle (UCAV).

B-1B爆撃機とかボーイングとかって軍用向けってこと？

Green Hills Software社についてを見てみるとは組み込みの印象が強い説明かも

Founded in 1982, Green Hills Software, Inc. is the technology leader for real-time operating systems and software development tools for 32- and 64-bit embedded systems. Our royalty-free INTEGRITY(R) RTOS, velOSity™