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.

• Type: Conference
• Year: 2003
• Where: EMSOFT
• Authors: Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
• Keywords: Designs, EMSOFT 2003, Heterogeneous Reactive Systems, Synchronous Designs