LDRA : compatible avec les derniers PowerPC pour le marché avionique

Le 04/09/2017, Toulouse- Distribuée par ISIT sur le marché francophone, LDRA, leader dans la conformité aux normes de sûreté de fonctionnement logiciel, dans l’analyse automatisée des codes sources et dans les outils de tests logiciels, a mis à jour la « LDRA tool suite® » pour étendre le support de l’assembleur PowerPC à l’ensemble des microcontrôleurs PowerPC 32 et 64 bits utilisés au cœur des systèmes critiques comme les systèmes avioniques civils et militaires, les drones, les applications spatiales et de défense, ou encore les terminaux de communications. Le support de ces architectures permet aux clients LDRA, notamment ceux utilisant la suite depuis de nombreuses années sur des plateformes avioniques traditionnelles, de migrer vers les dernières versions de cœurs et compilateurs PowerPC, et de vérifier le code objet comme le demande la norme DO-178B/C.

Désormais, en plus des cœurs PowerPC traditionnels 603e et 604, la suite LDRA supporte les familles e200, e300, e500, e600, e5500 et e5600. LDRA est donc le seul éditeur offrant un outil complet de mesure de la couverture structurelle, à la fois pour du code source et du code objet, pour les utilisateurs des nouveaux microprocesseurs PowerPC e500/600, que ce soit en tests unitaires, d’intégration ou système, facilitant ainsi la tâche de certification pour ses clients avioniques. Utilisée pour démontrer la traçabilité entre les codes source et objet, « LDRA tool suite® » pour assembleur PowerPC peut analyser le lien entre ces deux niveaux de code et mettre en évidence toute instance suspecte de code source ou ajoutée uniquement au niveau objet. Ceci répond à l’exigence de vérification du code objet de la norme de logiciel avionique bord DO-178B/C au niveau DAL A (le plus critique).

De plus, la dernière version de l’IHM LDRA améliore grandement la lisibilité grâce à un affichage graphique du code assembleur. Il en résulte des rapports convaincants qui montrent clairement les instructions et les branches exécutées au niveau assembleur, et qui permettent de comparer les résultats entre le langage de haut niveau (par exemple le C ou le C++) et le langage assembleur, ce qui est particulièrement utile dans le cadre de la vérification de code objet. Ces capacités de vérifications complètes sont disponibles aussi bien pour les plates-formes à faible puissance (comme l'e200), que pour les systèmes complexes avec des environnements multi-cœur, avec enregistrement de la couverture par cœur.

Les tâches de vérification et de tests réalisées au travers de la suite LDRA peuvent être appliquées aussi bien sur du code écrit directement en assembleur, que sur du code objet généré par un compilateur C/C++.

« Historiquement, l’ensemble des microcontrôleurs et microprocesseurs présents au sein des avions étaient basés sur l’architecture PowerPC ; désormais, une grande portion de ces puces historiques ne sont plus disponibles sur le marché, ou les fabricants d’équipements avioniques recherchent des améliorations majeures de performances », explique Ian Hennell, directeur des opérations au sein de LDRA. « Dans les deux cas, les équipementiers avioniques sont contraints de migrer vers les nouvelles versions de cœurs PowerPC afin de réaliser des améliorations significatives de leurs systèmes certifiés DO-178B/C. Puisque ces systèmes sont mis à jour, ils doivent être conformes avec les dernières exigences de certification, qui incluent des analyses approfondies comme la vérification du code objet. En tant que seule solution disponible sur le marché pour supporter tous les processeurs PowerPC, la nouvelle mise à jour de la suite d'outils LDRA permet de garantir la sûreté de fonctionnement de ces environnements critiques. »

À propos de LDRA
Depuis plus de 40 ans, LDRA est leader sur le marché des logiciels d’automatisation de l'analyse de code et des tests de logiciels dans les domaines à forte criticité (sûreté de fonctionnement, cybersécurité, …). Dans le but d’identifier au plus tôt les erreurs et d’assurer une conformité complète avec les normes de l'industrie, LDRA trace les exigences des spécifications jusqu’aux tests grâce à une analyse statique et dynamique de code, sur une grande variété de plates-formes matérielles et logicielles. La société LDRA est basée au Royaume-Uni avec des filiales aux États-Unis et en Inde, et dispose d’une présence mondiale au travers d’un vaste réseau de distributeurs. Pour plus d'informations sur la suite d'outils LDRA, visitez www.ldra.com

A propos, d’ISIT : Au cœur du Temps Réel Embarqué
I.S.I.T, implanté à Toulouse, à quelques minutes de l’aéroport international et des principaux sites d’Airbus, est un distributeur à valeur ajoutée, spécialisé dans la commercialisation d’outils matériels et logiciels, utilisés dans les bureaux d’études et sur les sites de production, et destinés aux systèmes temps réel embarqués.
ISIT représente en France des marques prestigieuses, leaders sur leur marché, et offre un catalogue de produits, important et varié, permettant de bâtir des solutions performantes, répondant précisément aux besoins des industriels. Autour de sa gamme produits, ISIT propose des prestations d’accompagnement, allant de l’expertise sur les technologies et les produits, au développement d’applications, en passant par la formation, les tests et la validation.
Depuis plusieurs années, ISIT a développé une forte compétence dans la sécurité et les contraintes de certification, positionnant l’entreprise au cœur des enjeux de nombreux domaines, avec une véritable valeur ajoutée pour ses clients.

Contact Solutions :
Micael MARTINS - Responsable Département Assurance Qualité Logiciel

Contact Presse :
Amélie HERMAN - Responsable Marketing
Tel: +33 (0)5 61 30 69 00