Reactis® pour Simulink® V2025
ISIT
Décembre 2025
Reactis® pour Simulink® V2025.2 ajoute la prise en charge des projets MATLAB® et R2025b, suit la couverture dans le code d'action d'état Stateflow® et introduit une fonctionnalité de commentaires. Reactis pour C V2025 simplifie les workflows de test AUTOSAR®.
- Prise en charge des projets MATLAB : Reactis peut désormais charger des projets MATLAB, en lisant automatiquement les chemins de recherche et l'initialisation de l'espace de travail.
- Couverture dans le code d'action d'état : la couverture des instructions, des décisions, des conditions, des MC/DC et des MCC est désormais suivie dans les actions d'état Stateflow pour les graphiques utilisant le langage d'action MATLAB (nécessite le plugin Reactis pour EML).
- Commentaires sur les modèles : ajoutez et gérez des commentaires dans les modèles ; les commentaires sont stockés dans le fichier d'informations Reactis (.rsi) et suivis avec l'auteur et l'horodatage.
- Assistant d'importation AUTOSAR (Reactis for C) : importez ARXML pour générer un RTE minimal, un fichier de compilation et un harnais pour tester en continu les exécutables AUTOSAR par rapport au modèle.
- Améliorations de la convivialité : le sélecteur de harnais est désormais disponible dans les barres d'outils principales, les modèles de test CSV, les panneaux détachables et une option permettant d'omettre les métriques de couverture vides dans les rapports.
Juin 2025
La version V2025 de Reactis® pour Simulink® apporte des améliorations considérables, notamment pour les tests de modèles Simulink® complexes et critiques:
- Intégration renforcée avec Simulink
Il est désormais possible d’ouvrir directement un modèle chargé dans Reactis dans Simulink, et de surligner un bloc, un état ou une transition sélectionné(e), facilitant ainsi l’analyse des erreurs.
- Détection d’erreurs en exécution dans Stateflow
Les assertions d’erreurs (dépassement d’entiers, division par zéro, Inf/NaN, erreurs d’index) sont maintenant disponibles aussi pour les éléments Stateflow, avec des indicateurs visuels dans les diagrammes.
- Liens vers les exigences
Reactis Validator peut désormais lier des objectifs de validation à des exigences en langage naturel stockées dans des systèmes externes (Word, Excel ou plateformes web).
- Meilleure couverture de test
Le moteur de contraintes a été amélioré pour détecter plus de cibles inaccessibles et générer des tests plus efficaces. De nouveaux blocs sont pris en charge (Intégrateur discret, Rate Limiter, etc.).
Autres nouveautés
- Compatibilité avec MATLAB R2025a
- Support de circshift en Embedded MATLAB
- Export CSV incluant la version de Reactis
- Lancement de MATLAB avec l’API Reactis préconfigurée
- Option pour continuer les tests après une erreur d’indexation dans Stateflow
Une version plus puissante et intuitive pour fiabiliser vos modèles à tester !
