Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

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.

Keywords : reactive systems, embedded systems, synchronous, asynchronous, GALS, formal methods, heterogeneous systems.