HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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.
Document type :
Reports
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01725835
Contributor : Yann Duplouy Connect in order to contact the contributor
Submitted on : Wednesday, March 7, 2018 - 4:28:10 PM
Last modification on : Friday, January 21, 2022 - 3:10:36 AM
Long-term archiving on: : 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

330

Files downloads

277