Citation
Albert Benveniste, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. " Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment". Lecture Notes in Computer Science, 2003, Volume 2855/2003, 35-50, 2003.

Abstract
We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate this by two cases: the deployment of synchronous designs over GALS architectures, and the deployment of synchronous designs over the so-called Loosely Time-Triggered Architectures.

Electronic downloads

• http://dx.doi.org/10.1007/978-3-540-45212-6_4

• HTML

  Albert Benveniste, Luca Carloni, Paul Caspi, Alberto
  Sangiovanni-Vincentelli. <a
  href="http://chess.eecs.berkeley.edu/pubs/721.html">
  Heterogeneous Reactive Systems Modeling and
  Correct-by-Construction Deployment</a>, Lecture Notes
  in Computer Science, 2003, Volume 2855/2003, 35-50, 2003.

• Plain text

  Albert Benveniste, Luca Carloni, Paul Caspi, Alberto
  Sangiovanni-Vincentelli. " Heterogeneous Reactive
  Systems Modeling and Correct-by-Construction
  Deployment". Lecture Notes in Computer Science, 2003,
  Volume 2855/2003, 35-50, 2003.

• BibTeX

  @inproceedings{BenvenisteCarloniCaspiSangiovanniVincentelli03_HeterogeneousReactiveSystemsModelingCorrectbyConstruction,
      author = {Albert Benveniste and Luca Carloni and Paul Caspi
                and Alberto Sangiovanni-Vincentelli},
      title = { Heterogeneous Reactive Systems Modeling and
                Correct-by-Construction Deployment},
      booktitle = {Lecture Notes in Computer Science, 2003, Volume
                2855/2003},
      pages = {35-50},
      year = {2003},
      abstract = {We propose a mathematical framework to deal with
                the composition of heterogeneous reactive systems.
                Our theory allows to establish theorems, from
                which design techniques can be derived. We
                illustrate this by two cases: the deployment of
                synchronous designs over GALS architectures, and
                the deployment of synchronous designs over the
                so-called Loosely Time-Triggered Architectures.},
      URL = {http://chess.eecs.berkeley.edu/pubs/721.html}
  }
  

Posted by Christopher Brooks on 4 Nov 2010.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.