Référence : TOWARDS A MODELLING FRAMEWORK WITH TEMPORAL AND UNCERTAIN DATA FOR ADAPTIVE SYSTEMS

	Type de document :	Mémoires et thèses : Thèse de doctorat
	Discipline(s) :	Ingénierie, informatique & technologie : Sciences informatiques
	Priorité de recherche :	Security, Reliability and Trust
	Pour citer cette référence :	http://hdl.handle.net/10993/41258

Titre :	TOWARDS A MODELLING FRAMEWORK WITH TEMPORAL AND UNCERTAIN DATA FOR ADAPTIVE SYSTEMS
Langue du document :	anglais
Auteur, co-auteur :	Mouline, Ludovic [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Date de publication :	29-nov-2019
Institution :	University of Luxembourg, ​Luxembourg, ​​Luxembourg
Intitulé du diplôme :	Docteur de l’Université du Luxembourg en Informatique et Docteur de L’Université de Rennes 1 en Inforatique
Nombre de pages :	200
Promoteur :	Le Traon, Yves
	Barais, Olivier
Président du jury :	Navet, Nicolas
Membre du jury :	Wimmer, Manuel
	Collet, Philippe
	Bourcier, Johann
Mots-clés :	[en] dynamically adaptive systems ; knowledge representation ; model-driven engineering ; uncertainty modelling ; time modelling
Résumé :	[en] Self-Adaptive Systems (SAS) optimise their behaviours or configurations at runtime in response to a modification of their environments or their behaviours. These systems therefore need a deep understanding of the ongoing situation which enables reasoning tasks for adaptation operations. Using the model-driven engineering (MDE) methodology, one can abstract this situation. However, information concerning the system is not always known with absolute confidence. Moreover, in such systems, the monitoring frequency may differ from the delay for reconfiguration actions to have measurable effects. These characteristics come with a global challenge for software engineers: how to represent uncertain knowledge that can be efficiently queried and to represent ongoing actions in order to improve adaptation processes? To tackle this challenge, this thesis defends the need for a unified modelling framework which includes, besides all traditional elements, temporal and uncertainty as first-class concepts. Therefore, a developer will be able to abstract information related to the adaptation process, the environment as well as the system itself. Towards this vision, we present two evaluated contributions: a temporal context model and a language for uncertain data. The temporal context model allows abstracting past, ongoing and future actions with their impacts and context. The language, named Ain’tea, integrates data uncertainty as a first-class citizen.
Centre(s) de recherche :	Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Security Design and Validation Research Group (SerVal)
Organisme(s) subsidiant(s) :	Creos Luxembourg S.A.
Public cible :	Chercheurs ; Professionnels du domaine ; Etudiants ; Grand public ; Autre
URL permanente :	http://hdl.handle.net/10993/41258

	Document(s) associé(s) à cette référence :
	Document(s) en texte intégral : Fichier Commentaire Version Taille Accès Accès ouvert Final_Lux.pdf Postprint auteur 2.77 MB Voir/Ouvrir

Tous les documents dans ORBi^lu sont protégés par une licence d'utilisation.

 

Bibliothèque de l'Université du Luxembourg |  Contact |  Mentions légales Site Map