Separate Compilation for Synchronous Modules

  • Jia Zeng
  • Stephen A. Edwards
Conference paper

DOI: 10.1007/11599555_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3820)
Cite this paper as:
Zeng J., Edwards S.A. (2005) Separate Compilation for Synchronous Modules. In: Yang L.T., Zhou X., Zhao W., Wu Z., Zhu Y., Lin M. (eds) Embedded Software and Systems. ICESS 2005. Lecture Notes in Computer Science, vol 3820. Springer, Berlin, Heidelberg

Abstract

Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such models usually require an entire system to be compiled at once to analyze the dependencies among modules. The alternative is to write modules that can respond when the values of some of their inputs are unknown, a tedious and error-prone process.

We present a compilation technique that allows a programmer to describe synchronous modules without having to consider undefined inputs. Our algorithm transforms such a description into code that does as much as it can with undefined inputs, allowing modules to be compiled separately and assembled later.

We implemented our technique in a compiler for the Esterel language and present results that show the technique does not impose a substantial overhead.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Jia Zeng
    • 1
  • Stephen A. Edwards
    • 1
  1. 1.Department of Computer ScienceColumbia UniversityNew YorkUSA

Personalised recommendations