무결성(운영 체제)
Integrity (operating system)| 개발자 | Green Hills 소프트웨어 |
|---|---|
| OS 패밀리 | 실시간 운영 체제 |
| 동작 상태 | 현재의 |
| 소스 모델 | 폐쇄 소스(분류) |
| 마케팅 대상 | 임베디드 시스템 |
| 이용가능기간: | 영어 |
| 플랫폼 | ARM, XScale, Blackfin, Cold Fire, MIPS, PowerPC, IA-32, x86-64 |
| 커널 타입 | 마이크로커널 |
| 유저랜드 | POSIX |
| 면허증. | 독자 사양 |
| 공식 웹사이트 | www |
INTEGRITY 및 INTEGRITY-178B는 Green Hills Software에서 생산 및 판매하는 실시간 운영 체제(RTOS)입니다.
무결성
Integrity는 POSIX 인증을 받았으며 32비트 또는 64비트의 임베디드 시스템에서 사용하도록 설계되었습니다.지원되는 컴퓨터 아키텍처에는 ARM, Blackfin, Cold Fire, MIPS, PowerPC, XScale 및 x86의 종류가 있습니다.Integrity는 wolfSSL과 [1]같은 일반적인 SSL/TLS 라이브러리에서 지원됩니다.
무결성-178B
INTEGENTY-178B는 DO-178B 준거 버전의 INTEGITY입니다.그것은 B-2,[2] F-16, F-22, F-35와 같은 여러 군용 제트기와 상업용 항공기 에어버스 [3]A380에 사용된다.커널 설계는 동적 메모리 할당과 같은 기능을 제거함으로써 제한된 컴퓨팅 시간을 보장합니다.
감사 및 보안 엔지니어링 능력을 통해 NSA([3]National Security Agency)에 의해 평가 보증 수준(EAL) 6의 등급을 취득할 수 있었습니다.평가 대상 보안 타겟의 TOE(Target of Evaluation) 아키텍처에서는 파일 시스템 및 네트워킹용 컴포넌트 등의 컴포넌트는 TOE 정의에서 제외되어 있으며 거의 코어 [4]커널에만 초점을 맞추고 있습니다.Windows, MacOS, Linux 등의 다른 운영체제에서는 낮은 수준의 보증으로 평가되지만 일반적으로 TOE에 이러한 기능이 포함되어 있습니다.
지원되는 프로세서 아키텍처
Integrity Architecture Support Package(ASP)는 많은 프로세서 패밀리를 지원합니다.
레퍼런스
- ^ "i.MX6 CAAM with Integrity OS - wolfSSL". 2018-10-26. Retrieved 2019-02-14.
- ^ "Board or bored? Lockheed Martin gets into the COTS hardware biz". VITA Technologies Magazine. December 10, 2010. Retrieved 9 March 2012.
- ^ a b Kelly Jackson Higgins (2008-11-18). "Secure OS Gets Highest NSA Rating, Goes Commercial". Dark Reading. Retrieved 2013-12-01.
- ^ "Integrity-178B Separation Kernel Security Target" (PDF). SAIC. 2011-01-31. Retrieved 2011-03-22.
