Ouvrir le menu Fermer le menu
Cycle_V_Reactis

REACTIVE SYSTEMS Reactis l'outil indispensable de tests de modèles Simulink©, Stateflow© et TargetLink©

  • Langages : TargetLink® , Simulink®/Stateflow®
  • Secteurs d'activité : Avionique , Spatial , Automobile , Ferroviaire , Médical , Nucléaire , Autres Industries
  • Fournisseur : REACTIS

En Model Based Design, ou conception dirigée par les modèles, des modèles visuels et exécutables représentant le comportement d’un logiciel embarqué sont développés avant son implémentation, servant ensuite de base pour le test du logiciel puis du système. Ainsi, le plus grand avantage du Model Based Design par rapport à un développement « classique » réside donc dans le fait de pouvoir commencer le test et le débogage d’un système dès la phase de conception du logiciel, afin de les détecter le tôt possible dans le cycle de développement et donc de diminuer les couts de correction des erreurs.

En Model Based Design, ou conception dirigée par les modèles, des modèles visuels et exécutables représentant le comportement d’un logiciel embarqué sont développés avant son implémentation, servant ensuite de base pour le test du logiciel puis du système. Ainsi, le plus grand avantage du Model Based Design par rapport à un développement « classique » réside donc dans le fait de pouvoir commencer le test et le débogage d’un système dès la phase de conception du logiciel, afin de les détecter le tôt possible dans le cycle de développement et donc de diminuer les couts de correction des erreurs.

Lire la suite Masquer
La suite d’outils Reactis, de la société américaine Reactive Systems, diminue considérablement les coûts associés à la détection d’erreurs en MODEL-BASED DESIGN, en automatisant les processus de test et de validation sur des modèles Simulink® / Stateflow® / TargetLink®.

En utilisant la suite d’outils Reactis, vous pourrez :
  • Générer à la volée des cas de tests et mesurer la couverture structurelle (Statement, Branch et MC/DC).
  • Exécuter le modèle en mode pas-à-pas afin de faciliter le débogage.
  • Effectuer des tests fonctionnels pour vérifier si votre modèle est conforme aux exigences.
  • Détecter des erreurs « RUNTIME » sur un modèle (divisions par zéro, dépassements de buffers, …) ;
  • Tester le code source généré par Embedded Coder® ou TargetLink® en regard des tests effectués sur le modèle, et comparer la couverture structurelle.
  • Visualiser facilement et à moindre frais le contenu d’un modèle Simulink® / Stateflow®, sans la suite d’outils Mathworks®.
  • Répondre aux exigences de la norme ISO 26262 dans le cadre de projets de Model Based Design.
logo_reactive

reactive

La suite est composée de trois outils :

reactis simulink
reactis_for_c
reactis-model-inspector
reactive1

Reactis for Simulink® / Stateflow® / TargetLink

L’outil Reactis for Simulink® / Stateflow® / TargetLink® dispose de trois modes pour tester les modèles générés par les environnements MathWorks® et dSpace® :
  • Mode Simulation : Visualisation et débogage de l'exécution des modèles, au sein d’une interface similaire à un débogueur de code source.
  • Mode Test : Création automatisée de cas de tests à partir d’une analyse du modèle, dans le but de maximiser la couverture de code (Statement, Branch et MC/DC), ou création de cas de tests personnalisés.
  • Mode Validation : Détection automatisée des violations d’exigences utilisateurs au travers d’assertions (expressions booléennes ou modèles Simulink® / Stateflow®).
De plus, Reactis for Simulink® / Stateflow® / TargetLink® possède deux options:
  • Plugin Reactis for C : support de S-functions (en C) et code C personnalisé Stateflow.
  • Plugin Reactis for EML : support de Embedded MATLAB®.

Reactis for C

L’outil Reactis for C permet de tester le code source généré par Embedded Coder® ou TargetLink®, en réutilisant les tests déjà effectués avec l’outil Reactis for Simulink® / Stateflow® / TargetLink®. L’outil assure l’automatisation des tests de non régression entre le modèle et le code source généré, afin de détecter rapidement les différences de comportements et de couverture structurelle.

Reactis for C dispose des trois mêmes modes que la version pour modèles :
  • Mode Simulation : Visualisation et débogage de l'exécution du code source.
  • Mode Test : Lancement des tests réalisés sur Reactis for Simulink® / Stateflow® / TargetLink®, création automatisée de cas de test dans le but de maximiser la couverture de code (Statement, Branch et MC/DC), ou création de cas de tests personnalisés.
  • Mode Validation : Détection automatisée des violations d’exigences utilisateurs au travers d’assertions (expressions booléennes ou modèles Simulink® / Stateflow®).
reactive2
reactive3

Reactis Model Inspector

L’outil Reactis Model Inspector est un client de visualisation léger et simple d’utilisation pour modèles Simulink® / Stateflow®, capable de lire les fichiers .mdl produits par Simulink® et les fichiers de tests de Reactis. C’est la solution idéale pour les équipes qui n’ont besoin que de visualiser à moindre coût les modèles Simulink® ou les artefacts de test Reactis.