Integralność (system operacyjny) - Integrity (operating system)

INTEGRALNOŚĆ
Deweloper Oprogramowanie Green Hills
Rodzina systemów operacyjnych Systemy operacyjne czasu rzeczywistego
Stan pracy obecny
Model źródłowy Zamknięte źródło (sklasyfikowane)
Cel marketingowy Systemy wbudowane
Dostępne w język angielski
Platformy ARM , XScale , Blackfin , ColdFire , MIPS , PowerPC , IA-32 , x86-64
Typ jądra Mikrojądro
Kraina użytkownika POSIX
Licencja Prawnie zastrzeżony
Oficjalna strona internetowa www .ghs .com /products /rtos /integrity .html

INTEGRITY i INTEGRITY-178B to systemy operacyjne czasu rzeczywistego (RTOS) produkowane i sprzedawane przez Green Hills Software .

INTEGRALNOŚĆ

Integralność POSIX certyfikowane, przeznaczonych do stosowania w systemach osadzonych z 32 bitów lub 64 bitów . Obsługiwane architektury komputerów obejmują warianty: ARM , Blackfin , ColdFire , MIPS , PowerPC , XScale i x86 . INTEGRITY jest obsługiwany przez popularne biblioteki SSL/TLS, takie jak wolfSSL .

UCZCIWOŚĆ-178B

INTEGRITY-178B jest wersją INTEGRITY zgodną z DO-178B . Jest używany w kilku samolotach wojskowych, takich jak B-2 , F-16 , F-22 i F-35 oraz samolotach komercyjnych Airbus A380 . Jej jądro gwarancje projektowe ograniczone razy obliczeniowej poprzez wyeliminowanie funkcji, takich jak przydział pamięci dynamicznej .

Umiejętności w zakresie audytu i inżynierii bezpieczeństwa pozwoliły mu uzyskać ocenę Evaluation Assurance Level (EAL) 6 przez National Security Agency (NSA). Architektura Target of Evaluation (TOE) w Security Target do oceny wyklucza komponenty, takie jak systemy plików i sieci , z definicji TOE, skupiając się prawie wyłącznie na jądrze podstawowym. Inne systemy operacyjne, takie jak Windows , macOS czy Linux , choć oceniane na niższych poziomach pewności, zazwyczaj zawierają te możliwości w swoim TOE.

Obsługiwane architektury procesorów

Pakiet wsparcia architektury INTEGRITY (ASP) zapewnia obsługę wielu rodzin procesorów:

Bibliografia

Linki zewnętrzne