| HAL-Inria | Publications, software ... of Inria's scientists |
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.
https://hal.inria.fr/inria-00001058
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
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