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

Real-Time Testing Observer Library

Validation en temps réel des exigences critiques

Grâce à la bibliothèque Real-Time Testing (RTT) Observer Library, vous pouvez utiliser des observateurs d’exigences (Real-Time Testing Observers) générés avec le logiciel EmbeddedSpecifier®1) de BTC pour les exécuter directement sur les plates-formes dSPACE. Il devient alors possible de valider les exigences critiques au travers d’une contrôle permanent de celles-ci.

Domaines d’application


Les applications critiques sont communes à plusieurs domaines, tels que l’automobile, l’aéronautique, l’ingénierie médicale et l’industrie. Même quand la complexité est élevée, les fonctionnalités associées aux applications critiques doivent être garanties et formellement validées, tel que le recommande par exemple, la norme ISO 26262 pour le test de la sécurité fonctionnelle des véhicules routiers. Avec la bibliothèque Real-Time Testing (RTT) Observer Library, vous pouvez utiliser sur les plates-formes dSPACE des observateurs d’exigences préalablement créés avec le logiciel EmbeddedSpecifier®1) de BTC afin de surveiller continuellement vos exigences.

Avantages majeurs


En intégrant la bibliothèques RTT Observer Library et l e logiciel EmbeddedSpecifier1) de BTC à la chaîne d’outils dSPACE, vous pouvez enrichir n’importe quel environnement de simulation Model-In-the-Loop (MIL), Software-In-the-Loop (SIL) ou Hardware-In-the-Loop (HIL) existant afin de valider de manière continue et en temps réel les exigences critiques de votre application. Cette combinaison de méthodes de test améliore considérablement la profondeur de test, atteignable sur un même laps de temps. L’intégration optimale de la solution au sein de la chaîne d’outils dSPACE pour la validation virtuelle et la validation HIL vous permet de travailler de façon confortable dans un environnement familier.


1) Requiert une nouvelle version du produit EmbeddedSpecifier® de BTC, prévue pour juillet 2016.

General
  • Execution of RTT Observers, generated by BTC EmbeddedSpecifier®1), on dSPACE platforms
  • Continuous validation of requirements during test scenarios
  • RTT Observers can be added to the running model execution as independent routines. Recompilations of the model are not necessary.
Setup package (additionally provided with RTT Observer Library license)
  • ControlDesk layout generator
  • AutomationDesk test template
  • BTC Observer Simulink® block
  • Product documentation
  • Demo files
Supported dSPACE platforms
  • SCALEXIO, SCALEXIO MC/MP2)
  • DS1006, DS1006 MC/MP2)
  • VEOS, VEOS MC2)
1) Requires a new product version of BTC EmbeddedSpecifier®, planned for July 2016.
2) MC/MP support limited to observers that operate on core-local variables.

Vue d'ensemble


Cette solution de surveillance continue des exigences critiques s’appuie sur une combinaison de divers outils pouvant varier d’une application à l’autre. Selon les cas les outils suivants sont impliqués :


  • Real-Time Testing Observer Library – S’appuie sur les observateurs d’exigences générés avec le logiciel EmbeddedSpecifier®1) de BTC et les exécute sur les plates-formes dSPACE.
  • EmbeddedSpecifier®1) de BTC – Permet de transcrire les exigences informelles en une représentation formelle de celles-ci, puis en observateurs d’exigences, sans même avoir besoin d’une connaissance experte des exigences. Cette méthode formelle prise en charge par l’outil améliore ainsi la qualité des exigences.
  • Plate-forme dSPACE – SCALEXIO®, DS1006 ou VEOS® – Préservation du choix de la plate-forme la plus adaptée à chaque phase de test.
  • ControlDesk® – Le Logiciel d'instrumentation et d'expérimentation universel et modulaire. Les layouts IHM spécifiques aux observateurs exécutés en temps réel (RTT Observers), ainsi que la capacité de charger, lancer et stopper des observateurs, vous permettent de surveiller le statut de chaque exigence tout au long de l’exécution de l’application. Si une exigence n’est pas respectée, l’utilisateur en est directement informé au niveau de l’IHM.
  • AutomationDesk – L’outil puissant pour la création et l’automatisation des tests. Les exigences surveillées sont vérifiées en ligne conformément au workflow de test défini. Les rapports de test incluent également les résultats en provenance des observateurs, ce qui permet d’identifier facilement les raisons du non-respect de certaines exigences.

1) Requiert une nouvelle version du produit EmbeddedSpecifier® de BTC, prévue pour juillet 2016.

Communiqués de presse Support Contactez-Nous