Skip to Main content Skip to Navigation
Conference papers

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling

Abstract : Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-by-construction deployment of synchronous designs over distributed architecture (such as GALS or LTTA). In this paper, we extend our framework to model explicitly causality relations and scheduling constraints. We show how the formal results on the preservation of semantics hold also for these cases and we discuss the overall contribution in the context of previous work on desynchronization.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00001058
Contributor : Benoît Caillaud <>
Submitted on : Wednesday, January 25, 2006 - 6:03:01 PM
Last modification on : Thursday, November 19, 2020 - 3:58:02 PM
Long-term archiving on: : Saturday, April 3, 2010 - 9:47:50 PM

Identifiers

Citation

Albert Benveniste, Benoit Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Nov 2004, Leiden, The Netherlands, pp.1-16, ⟨10.1007/b100112⟩. ⟨inria-00001058⟩

Share

Metrics

Record views

656

Files downloads

882