HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

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 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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00071682
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 6:31:59 PM
Last modification on : Friday, February 4, 2022 - 3:12:36 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:33:00 PM

Identifiers

  • HAL Id : inria-00071682, version 1

Citation

Albert Benveniste, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. [Research Report] RR-4901, INRIA. 2003. ⟨inria-00071682⟩

Share

Metrics

Record views

122

Files downloads

216