CoCoSim, a code generation framework for control/command applications An overview of CoCoSim for multi-periodic discrete Simulink models - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

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

Résumé

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 .
Fichier principal
Vignette du fichier
main.pdf (1.29 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02441334 , version 1 (15-01-2020)

Identifiants

  • HAL Id : hal-02441334 , version 1

Citer

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⟩
448 Consultations
312 Téléchargements

Partager

More