inria-00072883, version 1
Analysis of Preemptive Periodic Real Time Systems using the (max,plus) Algebra with Applications in Robotics
François Baccelli
Bruno Gaujal 1Daniel Simon
N° RR-3778 (1999)
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.
- 1: TRIO (INRIA Lorraine - LORIA)
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
- Domain : Computer Science/Other
- Keywords : PERIODIC REAL TIME SYSTEMS / SYNCHRONIZATION / FIXED PRIORITY PREEMPTION / MARKED GRAPHS / (MAX / PLUS) ALGEBRA
- Internal note : RR-3778
- inria-00072883, version 1
- http://hal.inria.fr/inria-00072883
- oai:hal.inria.fr:inria-00072883
- From: Rapport De Recherche Inria
- Submitted on: Wednesday, 24 May 2006 11:10:18
- Updated on: Tuesday, 20 June 2006 11:40:16
Associated documents
Export