Analysis of Preemptive Periodic Real Time Systems using the (max,plus) Algebra with Applications in Robotics - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 1999

Analysis of Preemptive Periodic Real Time Systems using the (max,plus) Algebra with Applications in Robotics

François Baccelli
Bruno Gaujal
Daniel Simon

Résumé

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 controler, 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 synchronization constraints and is not limited to a particular scheduling policy.
Fichier principal
Vignette du fichier
RR-3778.pdf (151.27 Ko) Télécharger le fichier

Dates et versions

inria-00072883 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00072883 , version 1

Citer

François Baccelli, Bruno Gaujal, Daniel Simon. Analysis of Preemptive Periodic Real Time Systems using the (max,plus) Algebra with Applications in Robotics. [Research Report] RR-3778, INRIA. 1999. ⟨inria-00072883⟩
154 Consultations
150 Téléchargements

Partager

More