Skip to Main content Skip to Navigation
Theses

De la composition de systèmes temporisés

Abstract : The composition of timed systems is a source of problems, in particular of deadlocks. Our goal in this work is to provide a framework for the compositional description of timed systems which preserves time reactivity, that is the property that time can progress if a system cannot react. To achieve this, we first study the specification of timed evolutions, leading to the definition of adequate description mechanisms. This allows the definition of a class of timed models which are structurally time reactive. We define on this class choice operators and parallel composition operators preserving this property. Moreover, these operators are defined in such a way that activity is preserved, which means that if from a state a component can make an action then the composed system can make an action too. The parallel composition operator satisfies also the property of maximal progress by using priority choice operators which give preference to synchronizations. A general framework is given to define synchronization modes, such as AND (usual synchronization), MAX (synchronization with waiting) and MIN (interruption). Finally, we develop an algebraic approach for a subclass of the considered models.
Document type :
Theses
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00004871
Contributor : Thèses Imag <>
Submitted on : Thursday, February 19, 2004 - 11:03:53 AM
Last modification on : Thursday, November 19, 2020 - 3:58:01 PM
Long-term archiving on: : Friday, April 2, 2010 - 8:32:15 PM

Identifiers

  • HAL Id : tel-00004871, version 1

Collections

UJF | IMAG | CNRS | VERIMAG | UGA

Citation

Sébastien Bornot. De la composition de systèmes temporisés. Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1998. Français. ⟨tel-00004871⟩

Share

Metrics

Record views

272

Files downloads

111