CoCoSim, a code generation framework for control/command applications An overview of CoCoSim for multi-periodic discrete Simulink models
CoCoSim, a code generation framework for control/command applications An overview of CoCoSim for multi-periodic discrete Simulink models
复制标题
CoCoSim，用于控制/命令应用程序的代码生成框架 多周期离散 Simulink 模型的 CoCoSim 概述
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
C. Pagetti
中科院分区：
文献类型：
--
作者：
Hamza Bourbouh;P. Garoche;T. Loquen;É. Noulard;C. Pagetti
CoCoSim是一个支持用Simulink表达的离散数据流模型的设计、代码生成和分析的框架。在这项工作中，我们特别关注多周期系统的分析和代码生成。为此，CoCoSim提供了两种互补的方法：第一种方法是将多周期语义编码为纯同步语义（la Lustre），允许使用模型检查器来验证属性。第二种方法为多个通信（单）同步组件（类似于prelude）提供忠实的代码生成，然后可以使用任何实时调度器模拟或嵌入最终平台。这些方法已经在不同的环境中进行了试验。
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-a la Lustre-, enabling the use of model checker for verifying properties. The second provides a faithful code generation into multiple communicating (mono)synchronous components-a 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 .