Citation
Albert Benveniste, Benoit Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. "Composing Heterogeneous Reactive Systems". ACM Transactions on embedded Computing Systems., 7(4):1-36, July 2008.

Abstract
We present a compositional theory of heterogeneous reactive systems. The approach is based on the concept of tags marking the events of the signals of a system. Tags can be used for multiple purposes from indexing evolution in time (time stamping) to expressing relations among signals like coordination (e.g. synchrony and asynchrony) and causal dependencies. The theory provides flexibility in system modeling because it can be used both as a unifying mathematical framework to relate heterogeneous models of computations and as a formal vehicle to implement complex systems by combining heterogeneous components. In particular we introduce an algebra of tag structures to define heterogeneous parallel composition formally. Morphisms between tag structures are used to define relationships between heterogeneous models at different levels of abstraction. In particular they can be used to represent design transformations from tightly-synchronized specifcations to loosely-synchronized implementations. The theory has an important application in the correct-by-construction deployment of synchronous design on distributed architectures.

Electronic downloads

• TECS-2005-0054-REVISED.pdf · download/application/pdf · 355 kbytes
• http://doi.acm.org/10.1145/1376804.1376811
• http://www.irisa.fr/distribcom/benveniste/pub/TagSystemsTECS08.pdf%20

• HTML

  Albert Benveniste, Benoit Caillaud, Luca Carloni, Paul
  Caspi, Alberto Sangiovanni-Vincentelli. <a
  href="http://chess.eecs.berkeley.edu/pubs/336.html"
  >Composing Heterogeneous Reactive Systems</a>,
  <i>ACM Transactions on em<x>bedded Computing
  Systems.</i>, 7(4):1-36, July 2008.

• Plain text

  Albert Benveniste, Benoit Caillaud, Luca Carloni, Paul
  Caspi, Alberto Sangiovanni-Vincentelli. "Composing
  Heterogeneous Reactive Systems". <i>ACM
  Transactions on em<x>bedded Computing
  Systems.</i>, 7(4):1-36, July 2008.

• BibTeX

  @article{BenvenisteCaillaudCarloniCaspiSangiovanniVincentelli08_ComposingHeterogeneousReactiveSystems,
      author = {Albert Benveniste and Benoit Caillaud and Luca
                Carloni and Paul Caspi and Alberto
                Sangiovanni-Vincentelli},
      title = {Composing Heterogeneous Reactive Systems},
      journal = {ACM Transactions on em<x>bedded Computing Systems.},
      volume = {7},
      number = {4},
      pages = {1-36},
      month = {July},
      year = {2008},
      abstract = {We present a compositional theory of heterogeneous
                reactive systems. The approach is ba<x>sed on the
                concept of tags marking the events of the signals
                of a system. Tags can be used for multiple
                purposes from indexing evolution in time (time
                stamping) to expressing relations among signals
                like coordination (e.g. synchrony and asynchrony)
                and causal dependencies. The theory provides
                flexibility in system modeling because it can be
                used both as a unifying mathematical fr<x>amework
                to relate heterogeneous models of computations and
                as a formal vehicle to implement complex systems
                by combining heterogeneous components. In
                particular we introduce an algebra of tag
                structures to define heterogeneous parallel
                composition formally. Morphisms between tag
                structures are used to define relationships
                between heterogeneous models at different levels
                of abstraction. In particular they can be used to
                represent design transformations from
                tightly-synchronized specifcations to
                loosely-synchronized implementations. The theory
                has an important application in the
                correct-by-construction deployment of synchronous
                design on distributed architectures.},
      URL = {http://chess.eecs.berkeley.edu/pubs/336.html}
  }
  

Posted by Christopher Brooks on 17 Jul 2007.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.