Automatic Code Generation for Synchronous Reactive Communication

Free registration required

Executive Summary

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

  • Format: PDF
  • Size: 650.63 KB