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

Title:
Systèmes de gestion de ressources et aspects de disponibilité
Authors:
Fradet, Pascal, Hong Tuan Ha, Stéphane
Contributors:
Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Logiciel : ANalyse et DEveloppement (Lande), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria)
Source:
2ème Journée Francophone sur le Développement de Logiciels Par Aspects. :183-210
Publisher Information:
CCSD; Hermès, 2005.
Publication Year:
2005
Collection:
collection:EC-PARIS
collection:UNIV-RENNES1
collection:CNRS
collection:INRIA
collection:INSA-RENNES
collection:INRIA-RHA
collection:INRIA-RENNES
collection:IRISA
collection:IRISA_SET
collection:INRIA_TEST
collection:TESTALAIN1
collection:INRIA2
collection:UR1-HAL
collection:UR1-MATH-STIC
collection:UR1-UFR-ISTIC
collection:TEST-UNIV-RENNES
collection:TEST-UR-CSS
collection:UNIV-RENNES
collection:INRIA-RENGRE
collection:INSA-GROUPE
collection:UR1-MATH-NUM
Subject Terms:
ACM: D.: Software, D.3: PROGRAMMING LANGUAGES, D.1: PROGRAMMING TECHNIQUES, [INFO.INFO-PL]Computer Science [cs], Programming Languages [cs.PL]
Original Identifier:
HAL:
Document Type:
Konferenz conferenceObject<br />Conference papers
Language:
French
Access URL:
https://inria.hal.science/inria-00000944
https://inria.hal.science/inria-00000944v1/document
https://inria.hal.science/inria-00000944v1/file/JFDLPA05.pdf
Rights:
info:eu-repo/semantics/OpenAccess
Accession Number:
edshal.inria.00000944v1
Database:
HAL

Weitere Informationen

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.