Sistema Operativo de Tiempo Real Integrity

Consideramos que Integrity es un Sistema Operativo de Tiempo Real óptimo, por las siguientes razones:

¿Por qué elegir Green Hills Integrity?

Integrity Multivisor proporciona funcionalidad de virtualización con la que se permite ejecutar distintos sistemas operativos en un mismo hardware.

En los procesadores que soportan aceleración de tipo hypervisor, tales como Intel VT-x/d, ARM VE, Integrity soporta virtualización plena por la cual no se requiere realizar ningún cambio en el sistema operativo huesped.

Integrity Multivisor puede asignar sistemas operativos huéspedes a cores o distribuir la carga de trabajo entre ellos.

Cumple con los requisitos de prestaciones más críticos

Sistema Operativo de máxima seguridad ("Security"): Certificado EAL6+ High Robustness, según IEC-15408 IT
Sistema Operativo pre-certificado según normas de seguridad funcional: DO-178, EN-50128, ISO-26262, IEC-62304
Soporte "Multi Core" avanzado certificable
Prestaciones "Hard Real Time" para aplicaciones "Safety Critical"
Probado en uso en los sistemas críticos más avanzados

El kernel de Integrity nunca inhibe ninguna interrupción.

Las rutinas de servicio de interrupciones se ejecutan con una latencia mínima. Integrity puede responder ante eventos en cuestión de nanosegundos

Integridad de particiones garantizadas en el dominio del espacio y del tiempo

Integrity permite asignar cantidades fijas de tiempo de CPU y memoria a cada proceso. Estas cantidades asignadas estarán disponibles independientemente del comportamiento del resto de los procesos.

Integrity garantiza que si una aplicación, ejecutándose en una de sus particiones (Protected Virtual Address Spaces), falla por cualquier razón (interna o externa), el resto de las aplicaciones no va a verse afectadas. Esto nos permite certificar aplicaciones de distinta criticidad en un mismo equipo.

Librerías típicas como la pila de comunicaciones (TCP/IP, USB), los sistemas de ficheros e incluso los drivers de dispositivos se ejecutan en particiones separadas entre sí y separadas del nucleo del sistema operativo.

Soporte de arquitecturas multi-core certificables

Integrity soporta arquitecturas multi-core de tipo Multiprocesdor Asimétrico (AMP) y Multiprocesador Simétrico (SMP) optimizadas para uso en entornos embebidos de tiempo real.

Se puede configurar la asignación de aplicaciones a cores con un kernel dedicado y un área de memoria dedicada. También se puede configurar la ejecución de "n" tareas de prioridad alta en "n" cores para facilitar el determinismo.

Soporte de virtualización segura

Soporte de aplicaciones externas ("Middleware")

Green Hills proporciona aplicaciones básicas para Integrity, tales como protocolos de comunicaciones TCP/IP y USB, sistemas de ficheros, correo electrónico, etc. También se proporcionan librerías criptográficas para el desarrollo de aplicaciones de seguridad extremo a extremo: protocolos TLS/SSL, SSH, IPSec/IKE, Device Lifecycle Management agent, secure boot, etc.

Adicionalmente, existen múltiples fabricantes que ofrecen aplicaciones externas para Integrity.