Reactis V2023
ISIT
Un modèle Simulink® peut produire divers types d'erreurs lors de l'exécution du modèle, telles qu'un dépassement d'entier ou une division par zéro.
Pour de nombreux blocs Simulink, Reactis génère désormais des assertions RTE qui vérifient l'absence de conditions d'erreur.
Si une assertion RTE est évaluée comme fausse, une condition d'erreur s'est produite et Reactis enregistre l'échec.
Pour de nombreux blocs Simulink, Reactis génère désormais des assertions RTE qui vérifient l'absence de conditions d'erreur.
Si une assertion RTE est évaluée comme fausse, une condition d'erreur s'est produite et Reactis enregistre l'échec.
