INTEGRITY e INTEGRITY-178B son sistemas operativos en tiempo real (RTOS) producidos y comercializados por Green Hills Software .
INTEGRITY tiene certificación POSIX y está diseñado para su uso en sistemas integrados de 32 o 64 bits . Las arquitecturas informáticas compatibles incluyen variantes de: ARM , Blackfin , ColdFire , MIPS , PowerPC , XScale y x86 . INTEGRITY es compatible con bibliotecas SSL/TLS populares como wolfSSL . [1]
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 en el avión comercial Airbus A380 . [3] Su diseño de kernel garantiza tiempos de computación limitados al eliminar características como la asignación dinámica de memoria .
Las capacidades 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 destino de evaluación (TOE) en el objetivo de seguridad 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 central. [4] Otros sistemas operativos, como Windows , macOS o Linux , aunque evaluados con niveles de seguridad más bajos, generalmente incluyen estas capacidades dentro de su TOE.
El paquete de soporte de arquitectura (ASP) INTEGRITY brinda soporte para muchas familias de procesadores: