Integrating Simulink Models into the Model Checker Cosmos - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Integrating Simulink Models into the Model Checker Cosmos

Abstract

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 and versions

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

Identifiers

Cite

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⟩
137 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More