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.
Type de document :
Rapport
[Research Report] RR-5226, INRIA. 2004
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00077205
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 29 mai 2006 - 17:19:45
Dernière modification le : samedi 7 juillet 2018 - 01:18:19
Document(s) archivé(s) le : lundi 5 avril 2010 - 21:45:14

Fichiers

Identifiants

  • HAL Id : inria-00077205, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

278

Téléchargements de fichiers

109