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
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

Contributor : Benoît Caillaud Connect in order to contact the contributor
Submitted on : Wednesday, January 25, 2006 - 6:03:01 PM
Last modification on : Friday, February 4, 2022 - 3:23:38 AM
Long-term archiving on: : Saturday, April 3, 2010 - 9:47:50 PM



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⟩



Record views


Files downloads