For a better experience on dSPACE.com, enable JavaScript in your browser. Thank you!

Des tests approfondis pour les applications critiques

dSPACE et BTC coopèrent pour la validation en temps réel

  • Extension des méthodes de test classiques
  • Conformité facile avec les normes de sécurité
  • Intégration optimale et utilisation multiplateforme

Bièvres, le 14 Juillet 2016 : dSPACE et BTC Embedded Systems proposent désormais une solution qui améliore considérablement la portée des tests pour la validation en temps réel des applications critiques. La combinaison de la nouvelle bibliothèque Real-Time Testing (RTT) Observer Library de dSPACE et de l’outil de spécification éprouvé EmbeddedSpecifier® de BTC facilite la réutilisation de la vérification formelle, basée sur simulation, pour les ingénieurs de tests. La vérification formelle est par exemple recommandée par la norme ISO 26262 pour les tests de la sécurité fonctionnelle des véhicules routiers. 

Extension des méthodes de test classiques

Cette nouvelle solution complète les environnements existants Model-In-the-Loop (MIL), Software-In-the-Loop (SIL) et Hardware-In-the-Loop (HIL)  par ce que l’on appelle des « Requirement observers ». Ils sont toujours activés et surveillent en temps réel la conformité avec chaque exigence de sécurité. Tout non-respect des exigences est immédiatement enregistré, déclenchant un message d’information à l’attention de l’utilisateur. La surveillance en continu des exigences augmente la portée des tests permettant de couvrir plus de cas de test pour chaque fonction. Ceci minimalise le risque d’erreurs non détectées engendrées par des effets indirects.

Conformité facile avec les normes de sécurité

Grâce à l’EmbeddedSpecifier® de BTC, les exigences informelles, généralement enregistrées dans un format textuel, peuvent être facilement traduites dans une représentation formelle qui permet à un ordinateur d’interpréter les exigences. La formulation assistée augmente également la qualité des exigences et facilite le respect des normes de sécurité telle que l’ISO 26262. Dans un second temps, les utilisateurs génèrent automatiquement les observateurs exécutables pour la plate-forme temps réel de dSPACE par simple clic. Les exigences peuvent être retracées jusqu’à leur forme originale à tout moment. La validation des applications critiques est ainsi possible avec seulement un petit effort supplémentaire. 

Intégration optimale et utilisation multiplateforme

L’intégration optimale de la technologie Observer dans la chaîne d’outils dSPACE pour les tests HIL et la validation virtuelle permet aux utilisateurs de travailler de façon confortable dans un environnement familier. Des modèles prédéfinis sont disponibles pour le logiciel d’automatisation de test AutomationDesk de dSPACE et des layouts pour le logiciel d’expérimentation ControlDesk® de dSPACE. Les observateurs générés peuvent être utilisés pour effectuer une vérification précoce avec la validation virtuelle sur la plate-forme de simulation sur PC VEOS® de dSPACE.  Ils peuvent également être réutilisés sans être modifiés sur tous les systèmes HIL dSPACE basés sur SCALEXIO ou sur la carte DS1006 Processor Board.

A propos de BTC Embedded Systems :
BTC Embedded Systems AG (anciennement OSC) fournit des produits et des services destinés à la vérification formelle, à la validation et aux tests automatisés de systèmes intégrés. En tant que partie intégrale de l’environnement de travail BTC EmbeddedPlatform, BTC EmbeddedSpecifier® est un outil logiciel permettant de créer et de gérer toutes exigences semi-formelles et formelles. BTC est aussi un partenaire stratégique pour dSPACE au sein du programme de partenariat TargetLink où BTC EmbeddedTester® permet une génération et une exécution de test automatique pour les modèles et le code série.

Informations approfondies Contactez-Nous