ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 12/2-3 - 2006  - pp.183-210  - doi:10.3166/objet.12.2-3.183-210
TITRE
Systèmes de gestion de ressources et aspects de disponibilité

RÉSUMÉ
Dans cet article, nous nous intéressons aux propriétés de disponibilité et à la prévention des dénis de service. Nous proposons un langage d'aspects dédié permettant de prévenir les dénis de service liés à la gestion des ressources. Nos aspects spécifient des politiques de disponibilité en imposant des limites de temps d'allocation des ressources. Dans notre langage, un aspect peut être vu comme une propriété temporelle sur les traces d'exécution. Les programmes et les aspects sont modélisés par des automates temporisés et le tissage par un produit d'automates. L'avantage de cette approche formelle est double : d'une part, l'utilisateur garde la maîtrise de l'impact sémantique du tissage et, d'autre part, il peut utiliser des outils de modelchecking pour optimiser le tissage et vérifier des propriétés de disponibilité.


ABSTRACT
In this paper, we focus on availability properties and the prevention of denial of services. We propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the allocation of resources. In our language, an aspect can be seen as a formal temporal property on execution traces. Programs and aspects are specified as timed automata and the weaving process as an automata product. The benefit of this formal approach is two-fold: the user keeps the semantic impact of weaving under control and (s)he can use a model-checker to optimize the woven program and verify availability properties.


AUTEUR(S)
Pascal FRADET, Stéphane HONG TUAN HA

MOTS-CLÉS
gestion de ressources, disponibilité, aspect, tissage, denis de service.

KEYWORDS
Resource Management, Availability, Aspect, Weaving, Denial of Service.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (244 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
made by WAW Lavoisier