Electronique Mag - Le journal de l'électronique.

À la clé, un développement d’applications à haut niveau d’assurance pour les projets à sûreté et sécurité critiques

LDRA, et Green Hills Software, s’associent afin de garantir un développement d’applications à haut niveau d’assurance sur les plates-formes multicœurs desservant les marchés à sûreté et sécurité critiques.

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 traçabilité des cœurs multiples est indispensable pour l’analyse et le débogage d’un système

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, directeurs 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. »

Ces nouvelles fonctionnalités accélèrent le développement et le test multicœur tout en réduisant les coûts

Avec l’intégration de logiciels de développement et de test optimisés pour la mise en conformité, les outils logiciels automatisent désormais le développement et le test des projets multicœurs, ce qui conduit à une simplification des tâches de vérification. Pour les développeurs, c’est la garantir de pouvoir exploiter pleinement les réductions en termes de taille, poids et consommation (SWaP) offertes par les systèmes multicœurs.

Autres atouts de la solution de couverture structurelle multicœur de LDRA :

La vérification du code objet des compilateurs Green Hills est possible dans les langages C, C++ et Ada, d’où une plus grande souplesse dans les processus de développement.

Le couplage des données et des commandes permet de voir dans son ensemble l’architecture multicœur et les comportements associés, et donc le flux réel des commandes et des données à travers le système. La couverture extensive des E-S entre l’hôte et la cible offerte par l’IDE MULTI autorise plusieurs stratégies de débogage, et La couche des E-S n’utilise aucune fonctionnalité de bibliothèque, ce qui autorise des applications s’exécutant « à même le métal » (sans chevaucher le système d’exploitation) et des sous-ensembles de bibliothèques sures.