*banner
 

Composing Heterogeneous Reactive Systems
Albert Benveniste, Benoit Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess