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 <>
Submitted on : Tuesday, May 23, 2006 - 6:31:59 PM
Last modification on : Thursday, November 19, 2020 - 3:58:03 PM
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

394

Files downloads

547