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

fYear

2014

fDate

23-25 June 2014

Firstpage

27

Lastpage

32

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;

fLanguage

English

Publisher

ieee

Conference_Titel

WETICE Conference (WETICE), 2014 IEEE 23rd International

Conference_Location

Parma

Type

conf

DOI

10.1109/WETICE.2014.52

Filename

6927017