Skip to Main content Skip to Navigation
Theses

Modélisation formelle de systèmes dynamiques autonomes : graphe, réécriture et grammaire

Cédric Eichler 1, 2
2 LAAS-SARA - Équipe Services et Architectures pour Réseaux Avancés
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : Modern, large-scale systems are deployed in changing environments. They must dynamically adapt to context changes. In this scope, autonomic computing aims at reducing (or even suppress) slow and costly human interventions, by making systems achieve self-management. Self-adaptability of a system is primarily based on a suitable description of its components, their interactions and the various states it can adopt. Various mod! eling approaches have been elaborated, notably based on architecture description languages (ADLs) or generic models (e.g., UML, graphs). These representations usually focus on some aspects or properties of dynamic systems and do not tackle each of self-management's requirements. This manuscript deals with graph-based representations of dynamic systems and their suitability for the implementation of autonomic computing's four fundamental properties : self-optimization, self-protection, self-healing and self-configuring. This thesis offers four principal theoretical and applied contributions The first one is a methodology for the construction and generative characterization of transformations correct by construction whose application necessarily preserves a system's correctness. An application can therefore efficiently remains in an acceptable state while evolving. The second one consists in an extension of graph rewriting systems allowing to easily and efficiently represent, update, evaluate and configure a system's characteristics. These claims are supported by concrete example relying on DIET, a distributed and hierarchical load balancer. An experimental study reveals a significant efficiency gain with regard to classical methods, in particular those integrated to AGG and GMTE. The third contribution is articulated around the design of an end-to-end manager for complex events processing requests. It demonstrates the interest of graphs as an abstract, high-level, representation in an applicative context comprising numerous fragmented technical solutions. The fourth and last one relies on the design of an autonomic manager for any Machine-to-Machine system complying to the ETSI M2M2 standard. It illustrates the methodology for correct transformations, but also the integration of the proposed representation within a multi-model approach including internal consistency concerns. The approach's feasibility is experimentally demonstrated using a smart metering application.
Complete list of metadata

Cited literature [141 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01174370
Contributor : Arlette Evrard <>
Submitted on : Thursday, September 17, 2015 - 8:14:07 AM
Last modification on : Thursday, June 10, 2021 - 3:08:35 AM

Identifiers

  • HAL Id : tel-01174370, version 1

Citation

Cédric Eichler. Modélisation formelle de systèmes dynamiques autonomes : graphe, réécriture et grammaire. Mathématiques [math]. Universite Toulouse III Paul Sabatier, 2015. Français. ⟨tel-01174370⟩

Share

Metrics

Record views

664

Files downloads

1954