Système d'exploitation en temps réel Integrity
Cinq raisons de choisir Green Hills
1.
Système d'exploitation de haute sécurité ("Security") : Certifié EAL6+ High Robustness, selon IEC-15408 IT
2.
Système d'exploitation pré-certifié selon les normes de sécurité fonctionnelle : DO-178, EN-50128, ISO-26262, IEC-62304
3.
Prise en charge avancée et certifiée de plusieurs cœurs
4.
Fonctionnalités "Hard Real Time" pour les applications "Safety Critical".
5.
Utilisation éprouvée dans les systèmes critiques les plus avancés
Répond aux exigences de performance les plus critiques
Le noyau d'Integrity n'inhibe jamais les interruptions.
Les routines de service d'interruption s'exécutent avec une latence minimale. L'intégrité peut répondre à des événements en quelques nanosecondes.
Intégrité de la partition garantie dans les domaines de l'espace et du temps
L'intégrité permet d'allouer à chaque processus des quantités fixes de temps d'unité centrale et de mémoire. Ces quantités allouées seront disponibles indépendamment du comportement des autres processus.
L'intégrité garantit que si une application, fonctionnant dans l'une de ses partitions (Protected Virtual Address Spaces), tombe en panne pour une raison quelconque (interne ou externe), les autres applications ne seront pas affectées. Cela nous permet de certifier des applications de criticité différente sur le même équipement.
Les bibliothèques typiques telles que la pile de communication (TCP/IP, USB), les systèmes de fichiers et même les pilotes de périphériques s'exécutent dans des partitions distinctes les unes des autres et séparées du noyau du système d'exploitation.
Prise en charge des architectures multicœurs certifiables
Integrity prend en charge les architectures multiprocesseurs asymétriques (AMP) et symétriques (SMP) optimisées pour une utilisation dans des environnements embarqués en temps réel.
Vous pouvez configurer l'allocation des applications aux cœurs avec un noyau dédié et une zone de mémoire dédiée. Vous pouvez également configurer l'exécution de "n" tâches hautement prioritaires sur "n" cœurs pour faciliter le déterminisme.
Support de virtualisation sécurisé
Integrity Multivisor offre une fonctionnalité de virtualisation permettant à différents systèmes d'exploitation de fonctionner sur le même matériel.
Sur les processeurs qui prennent en charge l'accélération de l'hyperviseur, tels que Intel VT-x/d, ARM VE, Integrity prend en charge une virtualisation complète qui ne nécessite aucune modification du système d'exploitation hôte.
Integrity Multivisor peut affecter des systèmes d'exploitation invités à des cœurs ou répartir la charge de travail entre eux.
Soutien à l'intergiciel
Green Hills fournit des applications de base pour l'intégrité, telles que les protocoles de communication TCP/IP et USB, les systèmes de fichiers, le courrier électronique, etc. Des bibliothèques cryptographiques sont également fournies pour le développement d'applications de sécurité de bout en bout : protocoles TLS/SSL, SSH, IPSec/IKE, agent de gestion du cycle de vie des appareils, démarrage sécurisé, etc.
En outre, de nombreux fabricants proposent des applications externes pour Integrity.
