INTEGRITY e INTEGRITY-178B son sistemas operativos en tiempo real (RTOS) producidos y comercializados por Green Hills Software .
INTEGRITY cuenta con 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 núcleo garantiza tiempos de computación limitados al eliminar características como la asignación de memoria dinámica .
Las capacidades de auditoría e ingeniería de seguridad le han permitido obtener la calificación Evaluation Assurance Level (EAL) 6 por parte de la Agencia de Seguridad Nacional (NSA). [3] La Arquitectura Objetivo de Evaluación (TOE) en el Objetivo de Seguridad para la evaluación excluye componentes como los de sistema de archivos y redes , de la definición del TOE, centrándose casi exclusivamente en el núcleo central. [4] Otros sistemas operativos, como Windows , macOS o Linux , aunque evaluados en niveles de garantía más bajos, generalmente incluyen estas capacidades dentro de su TOE.
El paquete de soporte de arquitectura INTEGRITY (ASP) proporciona soporte para muchas familias de procesadores: