Garantir un développement à haut niveau d’assurance sur les plates-formes multicœurs
L’émergence croissante des plates-formes et applications multicœurs ouvre la voie à de nouvelles fonctionnalités sur les outils de vérification afin de mener à bien les activités de mise en conformité des projets à sûreté et sécurité critique, qui exigent un haut niveau d’assurance. LDRA vient de développer de telles fonctionnalités en partenariat avec Green Hills Software. Le résultat est une solution qui permet aux développeurs de suivre à la trace le comportement des systèmes multicœurs – une étape indispensable pour atteindre la conformité aux réglementations aux vigueurs.
La technologie de trace optimisée propre à LDRA permet de capturer efficacement la dynamique et le comportement des logiciels en cours d’exécution parmi des cœurs multiples. Il en résulte pour l’analyse de couverture de code à sûreté et sécurité critiques que les données peuvent être regroupées sûrement et efficacement sans dégrader les performances en temps réel, ni sacrifier l’intégrité de l’environnement d’application multicœur de Green Hills Software. La technologie de traçage de LDRA a été intégrée à la chaîne d’outils de développement de Green Hills Software afin de garantir ces fonctionnalités d’analyse et débogage de systèmes sans précédent.
Pour les marchés multicœurs à sûreté et sécurité critiques, Green Hills Software propose son RTOS (système d’exploitation temps réel) INTEGRITY-178 tuMP (à gestion multiprocesseur unifiée variant dans le temps). Mis pour la première fois sur le marché en 2010, l’INTEGRITY-178 tuMP offre aux développeurs de systèmes et d’applications une souplesse maximale pour organiser et utiliser en parallèle des cœurs multiples dans, et entre, les applications. Ce RTOS orienté
partitionnement autorise des applications à différents niveaux d’assurance en matière de sûreté et sécurité à s’exécuter en même temps sur une plate-forme multicœur. L’environnement de développement intégré (IDE) MULTI de Green Hills permet de développer des applications dans les langages de programmation C, C++ et Ada. Le partenariat entre les deux sociétés a permis d’intégrer la solution d’analyse de couverture structurelle de LDRA à l’IDE MULTI, et d’unifier ainsi la gestion du développement, du débogage et de la vérification des applications multicœurs.
Grâce au support d’instrumentation multicœur de LDRA, il est désormais possible d’effectuer une analyse de couverture de code structurelle au niveau de chaque cœur, ou de regrouper les données pour obtenir une vue d’ensemble multicœur au niveau système. Les résultats s’affichent sous forme graphique afin de permettre aux développeurs de suivre le déroulement de l’exécution du code, et d’évaluer le comportement d’un système aussi bien au niveau cœur qu’au niveau système. Cette analyse de couverture structurelle couvre jusqu’au niveau du code objet et s’accomplit sur la plate-forme hôte comme sur la plate-forme cible. Résultat : la solution LDRA permet de mettre en conformité les projets à sûreté critique selon les normes les plus rigoureuses. La génération des rapports à partir des techniques d’analyse et de test est automatique, d’où une nette réduction des centaines d’heures de documentation auparavant nécessaires pour obtenir la conformité.
« LDRA a investi du temps et des recherches pour permettre aux développeurs de disposer de solutions et outils de vérification orientés architectures multicœurs pour leurs logiciels à sûreté critique », commente Dan O’Dowd, fondateur et PDG de Green Hills Software. « En plus de permettre aux utilisateurs de mener à bien leurs activités de mise en conformité, ces initiatives positionnent LDRA en tête des fournisseurs d’outils de test et vérification à haut niveau d’assurance pour les systèmes utilisant INTEGRITY-178 tuMP. »
« Green Hills Software et LDRA se classent depuis des décennies en tête des marchés de l’homologation et de la mise en conformité grâce à des outils de développement et de test automatiques qui appliquent rigoureusement les normes de sûreté et de sécurité », confirme Ian Hennell, directeur des opérations de LDRA. « Grâce à notre partenariat, les développeurs d’applications multicœurs ont pour la première fois la possibilité d’atteindre la conformité DO-178B/C Niveau A. C’est un pas énorme pour le marché de l’aérospatiale et de la défense, et des promesses similaires se dessinent pour les industries comme le transport ferroviaire, l’automatisation industrielle et l’automobile. »
Si vous avez apprécié cet article, vous aimerez les suivants : ne les manquez pas en vous abonnant à :