Skip to Main content Skip to Navigation
New interface
Conference papers

Systèmes de gestion de ressources et aspects de disponibilité

Pascal Fradet 1 Stéphane Hong Tuan Ha 2 
2 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In this paper, we consider resource management in isolation (separation of concerns) and the prevention of denial of service (i.e. availability) as aspects. We concentrate on denials of service caused by resource management (starvations, deadlocks). Our aspects specify time limits or orderings in the allocation of resources. They can be seen as the specification of an availability policy. The approach relies on timed automata to specify services and aspects. It allows us to implement weaving as an automata product and to use model-checking tools to verify that aspects enforce the required availability properties.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Pascal Fradet Connect in order to contact the contributor
Submitted on : Thursday, December 15, 2005 - 5:45:02 PM
Last modification on : Friday, February 4, 2022 - 3:15:27 AM
Long-term archiving on: : Tuesday, September 7, 2010 - 5:52:54 PM


  • HAL Id : inria-00000944, version 1


Pascal Fradet, Stéphane Hong Tuan Ha. Systèmes de gestion de ressources et aspects de disponibilité. 2ème Journée Francophone sur le Développement de Logiciels Par Aspects, Sep 2005, Lille, pp.183-210. ⟨inria-00000944⟩



Record views


Files downloads