HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

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

François Baccelli Bruno Gaujal 1 Daniel Simon
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00072883
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 11:10:18 AM
Last modification on : Friday, February 4, 2022 - 3:30:00 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:26:31 PM

Identifiers

  • HAL Id : inria-00072883, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

131

Files downloads

110