Avionique : Green Hills produit le premier OS conforme FACE sur processeurs multicœurs Intel

L’éditeur américain Green Hills Software annonce avoir bouclé avec succès le processus de conformité FACE (Future Airborne Capability Environment) de la version Intel de son système d’exploitation Integrity-178 tuMP (Time-Variant Unified Multi Processing). ...FACE est un standard logiciel poussé à l’origine par le secteur de l’avionique américain qui vise à « permettre l’acquisition, à des coûts abordables, de systèmes favorisant l’innovation et l’intégration rapide de fonctionnalités réutilisables sur différents programmes de Défense » (voir notre article ici). Integrity-178 tuMP est, quant à lui, présenté par son créateur comme le seul système d’exploitation compatible RTCA/DO-178 DAL-A et CAST-32A qui fournit aux architectes système la possibilité de combiner de manière sécurisée et sûre des applications SMP (Symmetric Multi Processing) et AMP (Asymetric Multi Processing) Level A au sein d’un environnement d’exécution partitionné et ordonnancé et ce sur une puce-système (SoC) multicœur unique.

C’est la société Certon, autorité de vérification indépendante dûment adoubée par le consortium FACE, qui a officiellement confirmé la conformité de l’OS de Green Hills avec le standard technique FACE dans sa version 2.1.1. L’éditeur assure ainsi être le seul fournisseur d’un système d’exploitation conforme FACE pour les architectures multicœurs d’Intel, qui s’ajoutent donc aux deux autres déjà validées, ARMv8 et PowerPC/Quicc. Green Hills précise que chaque UoC (Units of Conformance) Integrity-178 tuMP a été vérifiée vis-à-vis des profils Sécurité et Sûreté de fonctionnement, chaque profil incluant la vérification pour les langages de programmation C, C++ et Ada.

« Nous nous attendions à être le premier éditeur à disposer d’un système d’exploitation multicœur conforme au standard FACE mais nous avons été surpris d’être aussi les premiers à obtenir la conformité FACE pour un OS sur architecture Intel, que ce soit monocœur ou multicœur, au vu des relations privilégiées qu’un autre éditeur entretenait avec Intel depuis des années », s’est réjoui Dan O’Dowd, fondateur et CEO de Green Hills Software. (Pas besoin d’être grand clerc pour deviner que Dan O’Dowd évoque ici Wind River, qui vient d’ailleurs tout juste de reprendre son indépendance vis-à-vis d’Intel.)

Green Hills Sofware se prépare désormais à répondre aux exigences de conformité de la version FACE 3.0 qui exige en particulier la conformité au Supplément 4 du standard Arinc-653, y compris les requis pour les opérations multicœurs définis dans la Section 2.