Yehia Elrakaiby graduated from the Communications and Electronics department in Cairo University in 2003. He obtained his PhD in 2010 from IMT-Atlantique in France on the topic of Security Models for Data Protection and Usage Control. After his PhD, he joined several reputable research organisations such as the Interdisciplinary research centre for Security and Trust in Luxembourg, the Fraunhofer Institute for Experimental Software Engineering in Germany and the Irish Software research centre (Lero). His research interests include Security, Model-Driven Engineering, Formal Methods, Autonomous and Self-Adaptive Systems and Software/Requirements Engineering.
Many software systems have become too large and complex to be managed efficiently by human administrators, particularly when they operate in uncertain and dynamic environments and require frequent changes. Requirements-driven adaptation techniques have been proposed to endow systems with the necessary means to autonomously decide ways to satisfy their requirements. However, current approaches rely on general-purpose languages, models and/or frameworks that are not tailored towards the characteristics of adaptation problems in autonomous systems. In this talk, we present the REact framework for model-based requirements-driven synthesis of optimal adaptation strategies for autonomous systems. The framework proposes a model (and a language) for the high-level description of the basic elements of autonomous self-adaptive systems, namely the system, its capabilities, requirements and environment. Based on those elements, a Markov Decision Process (MDP) is constructed to compute the optimal strategy or the most rewarding system behaviour. This defines a reflex controller that can ensure timely and optimal responses to changes in the environment of autonomous systems. Preliminary evaluation results demonstrate the practicality and advantages of the framework with respect to current solutions.
Date : 13 November 2018 From 5PM to 6PM