Sistema operativo de tiempo real Integrity
Cinco razones para elegir Green Hills
1.
Sistema Operativo de máxima seguridad (“Security”): Certificado EAL6+ High Robustness, según IEC-15408 IT
2.
Sistema Operativo pre-certificado según normas de seguridad funcional: DO-178, EN-50128, ISO-26262, IEC-62304
3.
Soporte “Multi Core” avanzado certificable
4.
Prestaciones “Hard Real Time” para aplicaciones “Safety Critical”
5.
Probado en uso en los sistemas críticos más avanzados
Cumple con los requisitos de prestaciones más críticos
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 garantizada 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
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.
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.
