Reference : TOWARDS A MODELLING FRAMEWORK WITH TEMPORAL AND UNCERTAIN DATA FOR ADAPTIVE SYSTEMS
Dissertations and theses : Doctoral thesis
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/41258
TOWARDS A MODELLING FRAMEWORK WITH TEMPORAL AND UNCERTAIN DATA FOR ADAPTIVE SYSTEMS
English
Mouline, Ludovic mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
29-Nov-2019
University of Luxembourg, ​Luxembourg, ​​Luxembourg
Docteur de l’Université du Luxembourg en Informatique et Docteur de L’Université de Rennes 1 en Inforatique
200
Le Traon, Yves mailto
Barais, Olivier mailto
Navet, Nicolas mailto
Wimmer, Manuel mailto
Collet, Philippe mailto
Bourcier, Johann mailto
[en] dynamically adaptive systems ; knowledge representation ; model-driven engineering ; uncertainty modelling ; time modelling
[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.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Security Design and Validation Research Group (SerVal)
Creos Luxembourg S.A.
Researchers ; Professionals ; Students ; General public ; Others
http://hdl.handle.net/10993/41258

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Final_Lux.pdfAuthor postprint2.77 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.