Integralność (system operacyjny) - Integrity (operating system)
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 |
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:
- PowerPC / zasilanie ISA
- AMD i Intel : x86
- ARM Gospodarstwa : ARM
- MIPS
Bibliografia
Linki zewnętrzne
- Oficjalna strona internetowa
- Oficjalna strona internetowa INTEGRALNOŚĆ-178B