Skip to Main content Skip to Navigation
Conference papers

CoCoSim, a code generation framework for control/command applications An overview of CoCoSim for multi-periodic discrete Simulink models

Abstract : We present CoCoSim, a framework to support the design, code generation and analysis of discrete dataflow model expressed in Simulink. In this work, we specifically focus on the analysis and code generation of multi-periodic systems. For that CoCoSim provides two complementary approaches: the first amounts to encode the multi-periodic semantics in a pure-synchronous one-à la Lustre-, enabling the use of model checker for verifying properties. The second provides a faithful code generation into multiple communicating (mono)synchronous components-à la Prelude-that can be then simulated or embedded in the final platform with any real-time scheduler. These approaches have been experimented in various settings .
Document type :
Conference papers
Complete list of metadatas

Cited literature [40 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02441334
Contributor : Claire Pagetti <>
Submitted on : Wednesday, January 15, 2020 - 5:14:20 PM
Last modification on : Monday, June 15, 2020 - 3:36:09 AM
Document(s) archivé(s) le : Thursday, April 16, 2020 - 5:33:29 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02441334, version 1

Citation

Hamza Bourbouh, Pierre-Loïc Garoche, Thomas Loquen, Éric Noulard, Claire Pagetti. CoCoSim, a code generation framework for control/command applications An overview of CoCoSim for multi-periodic discrete Simulink models. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02441334⟩

Share

Metrics

Record views

67

Files downloads

74