Title: A runtime model-based framework for specifying and verifying adaptive RTE systems

Authors: Nissaf Fredj; Yessine Hadj Kacem; Mohamed Abid

Addresses: ISITCOM (Hammam Sousse), CES Laboratory, University of Sousse, Sousse, Tunisia ' College of Computer Science, King Khalid University, Abha, Saudi Arabia ' CES Laboratory, University of Sfax, Sfax, Tunisia

Abstract: Adaptive Real-Time Embedded Systems (RTES) may execute in an unpredictable context that is impossible to definitely consider in the development time. Therefore, these systems are required to adapt their behaviour to unpredicted changes at runtime in order to maintain their feasibility and usefulness. Their design requires effective runtime modelling formalisms for monitoring, reconfiguration planning and adaptive system analysis. In this context, software designers need to evaluate, refine and validate runtime models at early stages of development via adaptation tools, in particular for runtime adaptive systems to avoid execution problems. In the present paper, we propose a runtime model-based framework that allows the modelling and simulation as well as the traceability of adaptive RTES. Our proposal starts by a high-level specification based on the UML/MARTE profile, which describes an adaptive system and supports the reasoning about its behaviour and structure at runtime. The runtime UML/MARTE models are translated into an adaptive one that instantiates MAPE patterns for the control and the traceability of the runtime system. Then Model-to-Text (M2T) transformations allow us to generate simulation scripts for the analysis of adaptive system behaviour at runtime and evaluate its real-time constraints.

Keywords: RTES; runtime adaptation; runtime model; M2T transformation; MAPE control loop.

DOI: 10.1504/IJCAT.2020.110405

International Journal of Computer Applications in Technology, 2020 Vol.63 No.4, pp.309 - 326

Received: 18 Jun 2019
Accepted: 17 Jan 2020
Published online: 19 Oct 2020 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article