LDRA lance un nouveau module TBwcet

« Les fabricants de systèmes critiques à base de processeurs multicœurs choisissent LDRA en raison de notre prise en charge complète des directives CAST-32A et A(M)C 20-193, des exigences au développement en passant par les tests », a déclaré Ian Hennell, directeur des opérations, LDRA. "Aucun autre fournisseur de logiciels ne combine la mesure du temps, l'analyse des données et des flux de contrôle, la génération de tests automatisés et la traçabilité des exigences dans un package de conformité qui s'intègre également facilement dans les processus de développement agiles d'aujourd'hui."

Grâce à la prise en charge améliorée de CAST-32A et A(M)C 20-193 offerte par la suite d'outils LDRA, les équipes de développement bénéficient désormais :

• La couverture CAST-32A & A(M)C 20-193 à la pointe de l'industrie qui comprend des mesures de temps d'exécution dans le pire des cas (WCET) sur le matériel cible, la capacité d'exercer des canaux d'interférence spécifiés, la génération d’histogrammes WCET répondant aux normes CAST-32A & A(M) )C 20-193 et l’activité d’analyse Data Coupling/Control Coupling breveté par LDRA.
• Options d'analyse et de création de rapports flexibles qui prennent en charge différents système d'exploitation, comprenant la vérification des composants de façon isolé ou dans le contexte de l'ensemble de l'application
• Création rapide de preuves de certification avec des rapports et des graphiques alignés sur les documents CAST-32A & A(M)C 20-193
• Tests de régression robustes et automatisés qui revalident l'analyse WCET après chaque changement de code
• Utilisation en ligne de commande qui simplifie l'intégration dans n'importe quel Framework d'intégration continue et DevOps

"La prise en charge par la suite d'outils LDRA de CAST-32A & A(M)C 20-193 permet à tout fabricant de collecter des preuves de chronométrage et de dérouler son parcours de certification plus rapidement que jamais", a ajouté Hennell. "Lorsque les équipes de développement ressentent le besoin d'intégration, LDRA élimine la complexité et les efforts nécessaires pour certifier les applications à base processeurs multicœurs en intégrant le support WCET dans tous les aspects du développement d’un produit critique et sûr."

TBwcet apporte donc :

• un mécanisme intuitif de mesure des temps d'exécution sur cible
• un paramétrage pour permettre de se concentrer sur l'analyse tâche par tâche
• des niveaux de stress variables sur les ressources pour montrer l'effet des interférences et leur atténuation
• une prise en charge de quasiment tous les appareils cibles
• une représentation graphique des temps d'exécution en instantané
• une plate-forme de test pour la recherche d'interférences, soutenu par une traçabilité automatisée des exigences
• une analyse statique permet de se concentrer sur la recherche d'interférences
• une preuve d'une atténuation adéquate des interférences
• une prise en charge des objectifs liés au WCET dans les normes CAST-32A, A(M)C 20-193 et ISO 26262

Pour plus amples détails sur cette nouvelle solution, contactez-nous

À propos de LDRA
Depuis plus de 45 ans, LDRA a développé et dirigé le marché des logiciels qui automatisent l'analyse de code et les tests de logiciels pour les marchés critiques en matière de sécurité, de mission, de sécurité et d'entreprise. En collaboration avec les clients pour identifier et éliminer rapidement les erreurs et respecter pleinement les normes de l'industrie, LDRA suit les exigences par le biais d'analyses statiques et dynamiques jusqu'aux tests unitaires et à la vérification pour une grande variété de plates-formes matérielles et logicielles. Bénéficiant d'une présence mondiale, LDRA a son siège social au Royaume-Uni, aux États-Unis, en Allemagne et en Inde, ainsi qu'un vaste réseau de distributeurs. 

A propos d’ISIT : Cybersec & Safety Partners