ISO 26262
Des éléments de conformité certifiés, directement intégrés aux flux de travail BTC TestStack.
La sélection des bonnes méthodes et outils devient plus difficile à mesure que les systèmes deviennent plus complexes.
La norme ISO 26262 est devenue la norme de facto pour les logiciels automobiles critiques en matière de sécurité, avec une classification des fonctions par ASIL et des méthodes de développement et de test de pointe. Les cycles de développement raccourcis rendent plus difficile la sélection des méthodes et des outils appropriés, et encore plus difficile la preuve que votre chaîne d’outils prend en charge les objectifs de sécurité.
Développement de produits au niveau logiciel.
La partie 6 de la norme ISO 26262 décrit les procédures détaillées requises pour valider, vérifier et confirmer la sécurité des systèmes logiciels dans les contextes automobiles, avec des méthodologies pour l’évaluation systématique des conceptions et des architectures logicielles. Les aspects clés incluent les tests basés sur les exigences (garantissant que chaque fonction est testée pour le résultat prévu) et la couverture du code, vérifiant que chaque partie du code a été exécutée lors des tests.
La qualification des outils constitue un autre élément essentiel : elle permet de s’assurer que les outils employés dans le processus de développement soutiennent les objectifs de sécurité. S’y ajoute la traçabilité des exigences, depuis leur origine jusqu’au code et aux tests qui les mettent en œuvre.
Quelles exigences d’ISO 26262 sont couvertes ?
BTC TestStack est un environnement certifié qui traite des exigences relevant de la partie 6 d’ISO 26262 relatives à la vérification et à la validation des logiciels :
Grâce à son intégration étroite avec dSPACE TargetLink, MathWorks Simulink/Embedded Coder, IBM DOORS, Siemens Polarion ou PTC Integrity, BTC TestStack constitue l’outil dédié aux tests basés sur les exigences conformes à ISO 26262, au niveau du modèle comme du code.
Tests basés sur les exigencesLes vérifications des espaces de valeurs intégrés répondent aux recommandations ISO 26262 sur les tests d’interface, l’analyse des valeurs limites et les classes d’équivalence, avec une génération automatique de tests pour atteindre chaque objectif de test — ou une preuve formelle qu’un objectif est inatteignable.
Calculé et mis à jour automatiquement en arrière-plan à chaque modification d’un cas de test, y compris pour la couverture MC/DC, requise aux niveaux ASIL C/D.
Analyse de la couverture du codeLes environnements Processor-in-the-Loop (PIL) vous permettent d’exécuter le code sur la plateforme cible et d’en mesurer directement l’utilisation des ressources.
Fortement recommandé par la norme ISO 26262 — géré automatiquement, avec 100 % d’exhaustivité et 0 % d’effort manuel.
Test back-to-backUne technologie unique de Model Checking fournit la preuve mathématique qu’une exigence donnée ne peut être violée par votre logiciel.
Vérification formelleTransforme les exigences de sécurité en une représentation claire, sans ambiguïté et lisible par machine.
Spécification formelleUne couverture qui constitue un élément de preuve, pas une estimation.
MC/DC comme objectif de premier ordre
La couverture modifiée des conditions/décisions (MC/DC) — requise aux niveaux ASIL C/D — constitue un objectif de couverture structurelle de premier ordre dans la génération de vecteurs de stimuli de BTC TestStack, et non un ajout secondaire greffé au processus.
Les preuves d’inaccessibilité constituent des éléments de preuve formels
Lorsque la vérification de modèles du moteur CV démontre qu’un objectif de couverture est inaccessible, cette preuve est prise en compte dans l’objectif de couverture au titre d’ISO 26262 : il s’agit d’un résultat positif complet, et non d’une lacune à justifier.
Traçabilité tout au long de la chaîne d’outils
Les résultats de test sont reliés aux fonctions, aux vecteurs de test et, le cas échéant, aux exigences. Ces liens sont visibles directement dans les systèmes ALM/PLM connectés tels qu’IBM DOORS, Siemens Polarion ou codeBeamer.
BTC TestStack
est certifié ISO 26262
Le certificat porte sur des normes de sécurité fonctionnelle de plusieurs secteurs :
Pour ISO 26262, BTC TestStack est certifié selon le niveau de confiance dans l’outil (TCL) le plus élevé, valable pour tous les niveaux ASIL, y compris ASIL D. Sur demande, nous fournissons gratuitement le certificat et le rapport aux clients, ce qui supprime l’essentiel de leur effort de qualification des outils.
Découvrir le reste de la suite.
Tests basés sur les exigences
Tests basés sur les exigences pour Simulink, TargetLink, Embedded Coder, code écrit à la main et généré par IA.
Test back-to-back
Les tests back-to-back entre modèle et code sont fortement recommandés par la norme ISO 26262.
Méthodes formelles
La force de la preuve pour les systèmes critiques pour la sécurité.
Échangez avec notre équipe d’ingénierie.
Expliquez-nous où se situe réellement votre difficulté d’ingénierie. Nous vous indiquerons si la prochaine étape la plus pertinente est une licence d’évaluation, un atelier ou un échange.