Abstract : We present an implementation for Simulink model executions in the statistical model-checker Cosmos.
We take profit of this implementation for an hybrid modeling combining Petri nets and Simulink models.
Résumé : Nous présentons une implémentation pour l'exécution de modèles Simulink dans le model-checker Cosmos.
Cette implémentation est ensuite utilisée pour la simulation de modèles hybrides, combinant des réseaux de Petri et des modèles Simulink.