Analysis of preemptive periodic real time systems

Bruno Gaujal
INRIA, technopole de Nancy-Brabois
615 route du jardin botanique, BP 101
F-54606 Villers-les-Nancy, FRANCE
Bruno.Gaujal@loria.fr

ALAPEDES meeting
March 30, 1999

(joint work with François Baccelli and Daniel Simon),

We present the modeling of on several tasks with preemption performed by a robot, using Marked Graphs. Then, with the help of the (max,+) representation, we derive simple tests to check real time constraints on those tasks.