Skip to Main content Skip to Navigation
Reports

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 an hybrid modeling combining Petri nets and Simulink models.
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01725835
Contributor : Yann Duplouy <>
Submitted on : Wednesday, March 7, 2018 - 4:28:10 PM
Last modification on : Wednesday, December 4, 2019 - 1:26:02 PM
Document(s) archivé(s) le : Friday, June 8, 2018 - 3:02:35 PM

File

Simulink_Cosmos_HAL.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01725835, version 1

Citation

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⟩

Share

Metrics

Record views

511

Files downloads

347