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.
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.
La suite est composée de trois outils :
Reactis for Simulink® / Stateflow® / TargetLink
- 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®).
- 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
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®).
