Abstract Model based system engineering (MBSE) is a systematic approach of modeling
which is frequently used to support requirement specification, design, verification and …

Model Based System Engineering (MBSE) approach has been frequently used for
embedded systems as it is highly supportive for early design verification. However, selection …

This paper deals with the reconfigurable real-time systems that should be adapted to their
environment under real-time constraints. The reconfiguration allows moving from one …

This paper deals with real-time scheduling of homogeneous multicore platforms powered by
a battery to be periodically recharged. A system is composed of reconfigurable real-time …

Model Based System Engineering (MBSE) approach has been frequently put in to practice
for the development of embedded systems in order to achieve the business objectives like …

With the emerging IoT and Cloud-based networked systems that rely heavily on
virtualization technologies, elasticity becomes a dominant system engineering attribute for …

Abstract Modeling and Analysis of Real-Time and Embedded Systems (MARTE) is a Unified
Modeling Language (UML) profile, which has been developed to model concepts specific to …

Many image processing applications need real-time performance, while having restrictions
of size, weight and power consumption. Common solutions, including hardware/software co …

Software-based reconfiguration of distributed real-time systems is a complex problem with
many sides to it ranging from system-wide concerns down to the intrinsic non-robust nature …

This paper presents an overview on different research activities that we did in the recent
decade for develo** reconfigurable discrete-event systems (RDESs) from initial high-level …