Integrating Simulink Models into the Model Checker Cosmos - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Integrating Simulink Models into the Model Checker Cosmos

Résumé

We present an implementation for Simulink model executions in the statistical model-checker Cosmos. We take profit of this implementation for hybrid modeling and simulations combining Petri nets and Simulink models.
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.

Dates et versions

hal-01916467 , version 1 (08-11-2018)

Identifiants

Citer

Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad. Integrating Simulink Models into the Model Checker Cosmos. 39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩. ⟨hal-01916467⟩
140 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More