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
Reports

Priority Systems

Abstract : 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.
Document type :
Reports
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/inria-00077205
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Monday, May 29, 2006 - 5:19:45 PM
Last modification on : Friday, February 4, 2022 - 3:24:18 AM
Long-term archiving on: : Monday, April 5, 2010 - 9:45:14 PM

Identifiers

  • HAL Id : inria-00077205, version 1

Collections

Citation

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

Share

Metrics

Record views

101

Files downloads

2153