Priority Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2004

Priority Systems


We present a framework for the incremental construction of deadlock-free systems meeting given safety properties. The framework borrows concepts and basic results from the controller synthesis paradigm by considering a step in the construction process as a controller synthesis problem. We show that priorities are expressive enough to represent restrictions induced by deadlock-free controllers preserving safety properties. We define a correspondence between such restrictions and priorities and provide compositionality results about the preservation of this correspondence by operations on safety properties and priorities. Finally, we provide an example illustrating an application of the results.
Fichier principal
Vignette du fichier
RR-5226.pdf (264.37 Ko) Télécharger le fichier

Dates and versions

inria-00077205 , version 1 (29-05-2006)


  • HAL Id : inria-00077205 , version 1


Gregor Gössler, Joseph Sifakis. Priority Systems. [Research Report] RR-5226, INRIA. 2004. ⟨inria-00077205⟩
121 View
25758 Download


Gmail Facebook Twitter LinkedIn More