29 citations · 31 across the 5 of their papers we have counts for
5 papers
Analyzing Many Simulations of Hybrid Programs in Lince
Reydel Arrieta, José Proença, Patrick Meumeu Yomsi
Hybrid systems are increasingly used in critical applications such as medical devices, infrastructure systems, and autonomous vehicles. Lince is an academic tool for specifying and…
Global Scheduling of Multi-Mode Real-Time Applications upon Multiprocessor Platforms
Vincent Nelis, Patrick Meumeu Yomsi, Björn Andersson +1
Multi-mode real-time systems are those which support applications with different modes of operation, where each mode is characterized by a specific set of tasks. At run-time, such…
Exact Schedulability Test for global-EDF Scheduling of Periodic Hard Real-Time Tasks on Identical Multiprocessors
Joël Goossens, Patrick Meumeu Yomsi
In this paper we consider the scheduling problem of hard real-time systems composed of periodic constrained-deadline tasks upon identical multiprocessor platforms. We assume that t…
Semi-Partitioned Hard Real-Time Scheduling with Restricted Migrations upon Identical Multiprocessor Platforms
François Dorin, Patrick Meumeu Yomsi, Joël Goossens +1
Algorithms based on semi-partitioned scheduling have been proposed as a viable alternative between the two extreme ones based on global and partitioned scheduling. In particular, a…
Scheduling Multi-Mode Real-Time Systems upon Uniform Multiprocessor Platforms
Patrick Meumeu Yomsi, Vincent Nelis, Joël Goossens
In this paper, we address the scheduling problem of multi-mode real-time systems upon uniform multiprocessor platforms. We propose two transition protocols, specified together with…