Automatic Code Generation for Synchronous Reactive Communication

Abstract

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 MATLAB and Simulink products.  It leverages the Target Language Compiler template language of Real-Time Workshop and extends the applicability of available commercial code generators.  The overhead in memory of the presented solution is analyzed and compared with other implementations.