Les processeurs ARM multicœurs pris en charge par INTEGRITY
Le RTOS INTEGRITY-178 tuMP (Time-variant Unified Multi Processing, ou gestion multiprocesseur unifiée variant dans le temps) s’adresse aux systèmes à sûreté et sécurité critiques basés sur les actuels processeurs multicœurs. INTEGRITY-178 tuMP améliore sensiblement la souplesse d’utilisation des cœurs de processeurs ARM. La gestion tuMP est désignée comme “unifiée” parce qu’un même OS contrôle l’organisation de tous les cœurs et l’ensemble des communications entre les applications. Pour autant, elle conserve toutes les capacités d’ordonnancement des gestions AMP (multiprocesseur symétrique) et SMP (multiprocesseur asymétrique) mais en résout les principales limitations. L’ajout de la fonction tuMP pour les processeurs ARM fait suite au succès en 2011 d’INTEGRITY-178 tuMP pour la famille de processeurs multicœurs QorIQ de Freescale. Outre d’excellents états de service de trois années auprès des processeurs multicœurs QorIQ, la fonction tuMP est une évolution du produit monocœur INTEGRITY-178 de Green Hills Software. Comme telle, elle bénéficie des 12 ans d’ancienneté et des états de service de ce dernier comme garant de la sûreté et de la sécurité. En outre, INTEGRITY-178 tuMP pour ARM intègre les interfaces ARINC-653 (Part 1 supplement 3 et Part 2 supplement 2) et les capacités nécessaires, en tant que système d’exploitation, pour s’aligner sur la norme technique Future Airborne Capability Environment (FACE) V2.0. Pour les systèmes exigeant la conformité à la norme RTCA/DO-178B/C, Green Hills Software dispose d’un certificat de conformité de niveau A pour INTEGRITY-178 tuMP. C’est le seul éditeur de RTOS à sûreté critique dans le monde entier à utiliser ses propres équipes de conception et certification pour développer le produit de A à Z et proposer des services d’homologation et certificats DO-178B/C niveau A en accompagnement de son RTOS et de ses kits de support de cartes (BSP).
Fort de la réussite de plusieurs projets de développement et homologation pour l’avionique basés sur les architectures PowerPC, Richland Technologies a conçu et construit son propre ordinateur avionique innovant ORCCA (architecture d’ordinateur reconfigurable et certifiable selon des normes ouvertes) basé sur ARM pour satisfaire les contraintes de la taille, du poids et de la consommation (SWaP). Basée sur le processeur Cortex-A9, la plate-forme ORCCA de Richland exploite les fonctions multicœurs de pointe et le palmarès de certifications d’INTEGRITY-178 tuMP pour offrir une capacité graphique et de traitement à double redondance, faible consommation et hautes performances renforcée par des configurations souples d’E-S. La disponibilité d’INTEGRITY-178 tuMP pour ARM autorise Richland Technologies à proposer le portage transparent de sa plate-forme logicielle ORCCA certifiable DO-178B/C (gestionnaires de périphériques et d’E-S, middleware et applications logicielles alignées sur la norme technique FACE 2.0) entre les plates-formes QorIQ et Cortex-A9.
INTEGRITY-178 tuMP est disponible dès maintenant pour les processeurs ARM Cortex-A9 et s’appuie sur l’environnement de développement intégré MULTI/AdaMULTI de Green Hills Software (qui comprend des compilateurs d’optimisation C, C++ et Ada).
Si vous avez apprécié cet article, vous aimerez les suivants : ne les manquez pas en vous abonnant à :