Authors:
Hamza Gharsellaoui
1
;
Jihen Maazoun
2
;
Nadia Bouassida
2
;
Samir Ben Ahmed
3
and
Hanene Ben-Abdallah
4
Affiliations:
1
Carthage University and Al-Jouf College of Technology, Tunisia
;
2
Sfax University, Tunisia
;
3
Carthage University and Tunis El Manar University, Tunisia
;
4
King Abdulaziz University, Saudi Arabia
Keyword(s):
Real-time Scheduling, Reconfigurable Embedded Systems, SPL Design, UML Marte.
Related
Ontology
Subjects/Areas/Topics:
Service-Oriented Software Engineering and Management
;
Software and Systems Development Methodologies
;
Software Engineering
Abstract:
Several real-time embedded system must be dynamically reconfigured to account for hardware/software faults
and/or maintain acceptable performances. Depending on the run-time environment, some reconfigurations
might be unfeasible,i.e., they violate some real-time constraints of the system. In this paper, we deal with the
development of dynamically reconfigurable embedded systems in terms of the production of execution schedules
of system tasks (feasible configuration) under hard real-time constraints. More specifically, we propose an
approach that starts from a set of reconfigurations to construct a Software Product Line that can be reused in a
predictive and organized way to derive real-time embedded systems. To make sure that the SPL offers various
feasible reconfigurations, we define an intelligent agent that automatically checks the system’s feasibility after
a reconfiguration scenario is applied on a multiprocessor embedded system. This agent dynamically determines
precious techn
ical solutions to define a new product whenever a reconfiguration is unfeasible. The set
of products thus defined by the agent can then be unified into an SPL. The originality of our approach is its
capacity to extract, from the unfeasible configurations of an embedded system, an SPL design enriched with
real-time constraints and modeled with a UML Marte profile. The SPL design can assist in the comprehension,
reconfiguration as well as evolution of the SPL in order to satisfy real-time requirements and to obtain a
feasible system under normal and overload conditions.
(More)