Integrating Simulink Models into the Model Checker Cosmos - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2018

Integrating Simulink Models into the Model Checker Cosmos

Intégration des modèles Simulink dans le 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 an hybrid modeling 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.
Fichier principal
Vignette du fichier
Simulink_Cosmos_HAL.pdf (501.11 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01725835 , version 1 (07-03-2018)

Identifiers

  • HAL Id : hal-01725835 , version 1

Cite

Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad. Integrating Simulink Models into the Model Checker Cosmos. [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LIP6, Sorbonne Université, CNRS, UMR 7606; LACL, Université Paris-Est. 2018. ⟨hal-01725835⟩
379 View
342 Download

Share

Gmail Mastodon Facebook X LinkedIn More