Integridad (sistema operativo)

INTEGRITY e INTEGRITY-178B son sistemas operativos en tiempo real (RTOS) producidos y comercializados por Green Hills Software .

INTEGRITY cuenta con la certificación POSIX y está diseñado para su uso en sistemas embebidos 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 que cumple con la norma 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 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 del Objetivo de Evaluación (TOE) en el Objetivo de Seguridad para la evaluación excluye componentes como los del sistema de archivos y la red , de la definición del TOE, centrándose casi exclusivamente en el núcleo. ^{[ 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:

• PowerPC / Power ISA
• AMD e Intel : x86
• ARM Holdings : ARM
• MIPS

• Sitio web oficial
• Sitio web oficial INTEGRITY-178B