Composing heterogeneous reactive systems

13 years 4 months ago

Download www.cs.columbia.edu

elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specifications to loosely-synchronized implementations. The theory has an important application in the correct-byconstruction deployment of synchronous design on distributed architectures. Categories and Subject Descriptors: C.3.0 [Special-Purpose and Application-Based Systems]:

Albert Benveniste, Benoît Caillaud, Luca P.

Real-time Traffic

Design Transformations | Heterogeneous Models | Loosely-synchronized Implementations | TECS 2008 |

claim paper

» From Data to Events Checking Properties on the Control of a System

» A General Language for Evolution and Reactivity in the Semantic Web

» Executing Reactive Modelbased Programs through Graphbased Temporal Planning

» Combining Interface Agents and Situated Agents for Deploying Adaptive Web Applications

» Composing Functional and StateBased Performance Models for Analyzing Heterogeneous RealTim...

» Heterogeneous Reactive Systems Modeling and CorrectbyConstruction Deployment

» HiDRA A reactive multiprocessor architecture for heterogeneous embedded systems

» Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2008
Where	TECS
Authors	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli

Comments (0)

Sciweavers

Composing heterogeneous reactive systems

Design Transformations | Heterogeneous Models | Loosely-synchronized Implementations | TECS 2008 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers