Automatic Code Generation for Synchronous Reactive Communication

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