IRISA PI-1549: Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

PI-1549: Heterogeneous Reactive Systems Modeling and
Correct-by-Construction Deployment
Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto
Sangiovanni-Vincentelli
http://www.irisa.fr/bibli/publi/pi/2003/1549/1549.html
23 pages - août 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. This report is an extended version of a
paper with same title that appeared in the Proc. of EMSOFT'2003. This
report appeared also as a technical report from the University of
California at Berkeley, number UCB/ERL M03/23.

Résumé
On propose un cadre mathématique pour composer des systèmes réactifs
hétérogènes. Ce cadre permet d'obtenir des théorèmes et de construire
des algorithmes pour assurer la correction du déploiement. On illustre
cette approche sur les architectures GALS ainsi que sur les
architectures dites ``quasi-synchrones''. Ce rapport est une version
complétée d'un article portant le même titre, paru dans les Proc. of
EMSOFT'2003. Ce rapport est également paru sous forme de rapport
technique de l'Université de Californie, Berkeley, No UCB/ERL M03/23.

Keywords: Reactive systems, embedded systems, synchronous, asynchronous,
GALS, formal methods, heterogeneous systems

Mots clefs: Systèmes réactifs, systèmes embarqués, synchrone,
asynchrone, GALS, méthodes formelles, systèmes hétérogènes