INTEGRITY e INTEGRITY-178B son sistemas operativos en tiempo real (RTOS) producidos y comercializados por Green Hills Software .
Desarrollador | Software de Green Hills |
---|---|
Familia OS | Sistemas operativos en tiempo real |
Estado de trabajo | Actual |
Modelo fuente | Fuente cerrada (clasificada) |
Objetivo de marketing | Sistemas embebidos |
Disponible en | inglés |
Plataformas | ARM , XScale , Blackfin , ColdFire , MIPS , PowerPC , IA-32 , x86-64 |
Tipo de grano | Microkernel |
Userland | POSIX |
Licencia | Propiedad |
Página web oficial | www |
INTEGRIDAD
INTEGRITY está certificado por POSIX y está diseñado para su uso en sistemas integrados de 32 o 64 bits . Las arquitecturas de computadora compatibles incluyen variantes de: ARM , Blackfin , ColdFire , MIPS , PowerPC , XScale y x86 . INTEGRITY es compatible con bibliotecas SSL / TLS populares como wolfSSL . [1]
INTEGRIDAD-178B
INTEGRITY-178B es la versión de INTEGRITY compatible con DO-178B . Se utiliza en varios aviones militares como el B-2 , [2] F-16 , F-22 y F-35 , y el avión comercial Airbus A380 . [3] Su diseño de kernel garantiza tiempos de cómputo limitados al eliminar características como la asignación de memoria dinámica .
Las habilidades de auditoría e ingeniería de seguridad le han permitido obtener la calificación de Nivel de Garantía de Evaluación (EAL) 6 por parte de la Agencia de Seguridad Nacional (NSA). [3] La arquitectura de Target of Evaluation (TOE) en Security Target para la evaluación excluye componentes como los del sistema de archivos y las redes , de la definición de TOE, centrándose casi exclusivamente en el núcleo del núcleo. [4] Otros sistemas operativos, como Windows , macOS o Linux , aunque evaluados con niveles más bajos de seguridad, generalmente incluyen estas habilidades dentro de su TOE.
Arquitecturas de procesador compatibles
El paquete de soporte de arquitectura INTEGRITY (ASP) proporciona soporte para muchas familias de procesadores:
- PowerPC / Power ISA
- AMD e Intel : x86
- Tenencias de ARM : ARM
- MIPS
Referencias
- ^ "i.MX6 CAAM con Integrity OS - wolfSSL" . 2018-10-26 . Consultado el 14 de febrero de 2019 .
- ^ "¿Tablero o aburrido? Lockheed Martin se mete en el negocio del hardware COTS" . Revista VITA Technologies. 10 de diciembre de 2010 . Consultado el 9 de marzo de 2012 .
- ^ a b Kelly Jackson Higgins (18 de noviembre de 2008). "Secure OS obtiene la calificación más alta de la NSA, se vuelve comercial" . Lectura oscura . Consultado el 1 de diciembre de 2013 .
- ^ "Objetivo de seguridad del núcleo de separación Integrity-178B" (PDF) . SAIC. 2011-01-31 . Consultado el 22 de marzo de 2011 .
enlaces externos
- Página web oficial
- Sitio web oficial INTEGRITY-178B