Support intergiciel pour la conception et le déploiement adaptatifs fiables, application aux bâtiments intelligents

Abstract : In the context of pervasive computing and internet of things, systems are heterogeneous,distributed and adaptive (e.g., transport management systems, building automation). Thedesign and the deployment of these systems are made difficult by their heterogeneous anddistributed nature but also by the risk of conflicting adaptation decisions and inconsistenciesat runtime. Inconsistencies are caused by hardware failures or communication errors. Theyoccur when actions corresponding to the adaptation decisions are assumed to be performedbut are not done.This thesis proposes a middleware support, called SICODAF, for the design and thedeployment of reliable adaptive systems. SICODAF combines a behavioral reliability (absenceof conflicting decisions) by means of transitions systems and an execution reliability(absence of inconsistencies) through a transactional middleware. SICODAF is based on autonomiccomputing. It allows to design and deploy an adaptive system in the form of anautonomic loop which consists of an abstraction layer, a transactional execution mechanismand a controller. SICODAF supports three types of controllers (based on rules, on continuousor discrete control theory). SICODAF also allows for loop reconfiguration, to dealwith changing objectives in the considered system, and the integration of a hardware failuredetection system. Finally, SICODAF allows for the design of multiple loops for systems thatconsist of a high number of entities or that require controllers of different types. These loopscan be combined in parallel, coordinated or hierarchical.SICODAF was implemented using the transactional middleware LINC, the abstractionenvironment PUTUTU and the language Heptagon/BZR that is based on transitionssystems. SICODAF was also evaluated using three case studies.
Document type :
Complete list of metadatas

Cited literature [142 references]  Display  Hide  Download
Contributor : Abes Star <>
Submitted on : Thursday, October 11, 2018 - 3:29:08 PM
Last modification on : Monday, February 25, 2019 - 4:34:22 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01671747, version 2



Adja Ndeye Sylla. Support intergiciel pour la conception et le déploiement adaptatifs fiables, application aux bâtiments intelligents. Performance et fiabilité [cs.PF]. Université Grenoble Alpes, 2017. Français. ⟨NNT : 2017GREAM095⟩. ⟨tel-01671747v2⟩



Record views


Files downloads