Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling

Résumé

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.
Fichier principal
Vignette du fichier
3k99q2ml247n5gfy.pdf (244.96 Ko) Télécharger le fichier

Dates et versions

inria-00001058 , version 1 (25-01-2006)

Identifiants

Citer

Albert Benveniste, Benoit Caillaud, Luca P. 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⟩
237 Consultations
169 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More