Title :
A Model Driven Approach for the Development of Fine-Grain Self-Adaptive Multitask and Networked RTE Systems
Author :
Ben Said, Mouna ; Ben Amor, Nahla ; Hadj Kacem, Yessine ; Kerboeuf, Mickael ; Abid, Mohamed
Author_Institution :
CES Lab., Univ. of Sfax, Sfax, Tunisia
Abstract :
Scaling the applications output quality in order to meet constraints and keep preserving NFPs is an important adaptation technique in modern embedded systems. In this paper, we propose a model driven framework for the modeling, NFPs verification and application reconfiguration of multitask networked RTE systems. We use the UML standard and an extension of the MARTE profile for the system high level specification. Then we profit from the MDE capabilities to map system models to a verification and reconfiguration platform. We illustrate the effectiveness of our approach using a RTE system running CPU and network bandwidth intensive multimedia applications.
Keywords :
Unified Modeling Language; embedded systems; formal specification; formal verification; multiprogramming; CPU; MARTE profile; NFP application reconfiguration; NFP verification; UML standard; Unified Modeling Language; fine-grain self-adaptive multitask system; high level specification; model driven engineering; model driven framework; modeling and analysis of real-time and embedded systems; multitask networked RTE systems; network bandwidth intensive multimedia applications; nonfunctional properties; real-time embedded systems; reconfiguration platform; system models; verification platform; Adaptation models; Analytical models; Bandwidth; Embedded systems; Streaming media; Unified modeling language; NFPs verification; UML/MARTE profile; adaptive system; reconfiguration platform;
Conference_Titel :
WETICE Conference (WETICE), 2014 IEEE 23rd International
Conference_Location :
Parma
DOI :
10.1109/WETICE.2014.52
