Automatic Code Generation for Synchronous Reactive Communication
Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto Luigi Sangiovanni-Vincentelli · 2009
Synchronous reactive models are used in model-based design to define embedded control applications. The advantage of model-based design is that system properties can be verified on the model and applied to its software implementation if the translation of the model into code preserves its semantics. In this paper, we present an automatic code generation framework for the semantics-preserving implementation of communication in multi-rate systems. The proposed solution applies to the widely used MATLABregand Simulinkregproducts. It leverages the target language compiler template language of Real-Time Workshopregand extends the applicability of available commercial code generators. The overhead in memory of the presented solution is analyzed and compared with other implementations.