Sciweavers

Share
EMSOFT
2003
Springer

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

8 years 9 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
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.
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where EMSOFT
Authors Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
Comments (0)
books