A model-based method to manage time properties in component based software systems

Viet Hoa Nguyen 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Cette thèse propose une approche pour intégrer l'utilisation des propriétés temporisées stochastiques dans un processus continu de design fondé sur des modèles à l'exécution. La spécification temporelle de services est un aspect important des architectures à base de composants, par exemple dans des réseaux distribués volatiles de nœuds informatiques. L'approche models@runtime facilite la gestion de ces architectures en maintenant des modèles abstraits des archi- tectures synchronisés avec la structure physique de la plate-forme d'exécution distribuée. Pour les systèmes auto-adaptatifs, la prédiction de délais et de débit d'un assemblage de composants est primordial pour prendre la décision d'adaptation et accepter les évolutions qui sont conformes aux spécifications temporelles. Dans ce but, nous définissons une extension du métamodèle fondée sur les réseaux de Petri stochastiques comme un modèle temporisé interne pour la prédiction. Nous concevons une bibliothèque de patrons pour faciliter la spécification et la prédiction des propriétés temporisées classiques de modèles à l'exécution et rendre la synchronisation des comportements et des changements structurels plus facile. D'autre part, nous appliquons l'approche de la modélisation par aspects pour tisser les modèles temporisés internes dans les modèles temporisés de comportement du composant et du système. Notre moteur de prédiction est suffisament rapide pour effectuer la prédiction à l'exécution dans un cadre réaliste et valider des modèles à l'exécution.
Type de document :
Thèse
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-00923305
Contributeur : Noël Plouzeau <>
Soumis le : jeudi 2 janvier 2014 - 12:14:33
Dernière modification le : vendredi 13 janvier 2017 - 14:21:06
Document(s) archivé(s) le : samedi 8 avril 2017 - 09:55:31

Identifiants

  • HAL Id : tel-00923305, version 1

Collections

Citation

Viet Hoa Nguyen. A model-based method to manage time properties in component based software systems. Software Engineering [cs.SE]. Université Rennes 1, 2013. English. <tel-00923305>

Partager

Métriques

Consultations de
la notice

286

Téléchargements du document

1164