This paper proposes a model driven approach for the schedulability analysis at an early
stage of the embedded system development life-cycle. The activity diagram of Unified …

Real-Time Systems are subject to Soft/Hard temporal constraints. Besides, a tasks
scheduling step is required to meet the maximum of deadlines, for which there are different …

Real-time systems (RTS) are omnipresent in several domains. The trend is to use
multiprocessor architecture to satisfy the timing constraints of such systems. The model …

There is a growing interest in modeling Real-Time Embedded Systems (RTES) using high-
level approaches. The recent extension of Unified Modeling Language (UML) profile for …

The real-time system (RTS) design is a major challenge due to the complexity of the
considered application and the appearance of multiprocessor architectures. Most of the …

In order to examine whether the timing constraints of a Real-Time application are met, we
propose an extension of Time Petri Nets model that takes into account the scheduling of a …

In a previous paper [14], we investigated the expressiveness of Time Petri Nets extended
with dynamic Priorities and showed that it is able to analyze the schedulability of a …

Dynamic Priority Time Petri Nets (dPTPN) represent a powerful formalism for the scheduling
analysis of Real-Time Systems running on Multiprocessor architecture. The originality of the …

In previous work we have proposed the hierarchical modeling in order to reduce the
dynamic priority Time Petri Nets (dPTPN) model. In the present paper, we focus on the …

Abstract dynamic Priority Time Petri Nets (dPTPN) is a mathematical formalism dedicated to
modeling Real-Time System (RTS) and checking its schedulability. The present paper …