Article dans revue scientifique avec comité de lecture.In this paper we present the model of a system of periodic real-time tasks with fixed priorities, preemption and synchronization, performed by a robot controller, using Marked Graphs. Then, with the help of the (max,plus) algebra, we derive simple tests to check real time constraints on those tasks such as response times and the respect of deadlines. This method takes into account precedence and synchronisation constraints and is not limited to a particular scheduling policy. || Dans cet article nous présentons le modèle graphe d'événement d'un système de tâches périodiques temps-réel avec des priorités fixes, de la préemption et des synchronisations, exécutées par un controleur robot. ...
Abstract: We consider the problem of fixed priority scheduling of non-preemptive strict periodic tas...
The problem of scheduling a set of periodic-time-critical tasks on a single-processor computing syst...
Abstract This paper provides a survey on task models to characterize real-time workloads at differen...
In this paper we present the model of a system of periodic real-time tasks with xed priorities, pree...
Theme 1 - Reseaux et systemes. Projet TRIOSIGLEAvailable from INIST (FR), Document Supply Service, u...
Control systems are often designed using a set of cooperating periodic modules running under control...
Control systems are often designed using a set of co-operating periodic modules running under contro...
Due to the high number of sensors managed and need to perform complex reasoning activities, real-tim...
We investigate the preemptive scheduling of periodic tasks with hard deadlines. We show that, even i...
We investigate the preemptive scheduling of periodic tasks with hard deadlines. We show that, even i...
AbstractIn classic scheduling theory, real-time tasks are usually assumed to be periodic, i.e. tasks...
This thesis presents a framework for design, analysis, and implementation of embedded systems. We ad...
In industry, discrete models can be used to describe and analyze a class of event driven systems. Th...
The employment of industrial robot systems especially in the automotive industry noticeab...
This paper describes a stochastic analysis framework for general priority-driven periodic real-time ...
Abstract: We consider the problem of fixed priority scheduling of non-preemptive strict periodic tas...
The problem of scheduling a set of periodic-time-critical tasks on a single-processor computing syst...
Abstract This paper provides a survey on task models to characterize real-time workloads at differen...
In this paper we present the model of a system of periodic real-time tasks with xed priorities, pree...
Theme 1 - Reseaux et systemes. Projet TRIOSIGLEAvailable from INIST (FR), Document Supply Service, u...
Control systems are often designed using a set of cooperating periodic modules running under control...
Control systems are often designed using a set of co-operating periodic modules running under contro...
Due to the high number of sensors managed and need to perform complex reasoning activities, real-tim...
We investigate the preemptive scheduling of periodic tasks with hard deadlines. We show that, even i...
We investigate the preemptive scheduling of periodic tasks with hard deadlines. We show that, even i...
AbstractIn classic scheduling theory, real-time tasks are usually assumed to be periodic, i.e. tasks...
This thesis presents a framework for design, analysis, and implementation of embedded systems. We ad...
In industry, discrete models can be used to describe and analyze a class of event driven systems. Th...
The employment of industrial robot systems especially in the automotive industry noticeab...
This paper describes a stochastic analysis framework for general priority-driven periodic real-time ...
Abstract: We consider the problem of fixed priority scheduling of non-preemptive strict periodic tas...
The problem of scheduling a set of periodic-time-critical tasks on a single-processor computing syst...
Abstract This paper provides a survey on task models to characterize real-time workloads at differen...
Add to ORKG