Analysis of Preemptive Periodic Real-Time Systems Using the (Max,PLus) Algebra With Applications in Robotics

François Baccelli 1 Bruno Gaujal 2 Daniel Simon 3
1 TREC - Theory of networks and communications
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt
2 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
3 BIP - Biped Robot
Inria Grenoble - Rhône-Alpes
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 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. Ensuite, en utilisant l'algèbre (max,plus)
Type de document :
Article dans une revue
IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 2002, 10 (3), pp.268-380
Liste complète des métadonnées

https://hal.inria.fr/inria-00100900
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:52:46
Dernière modification le : mercredi 18 avril 2018 - 01:27:58

Identifiants

  • HAL Id : inria-00100900, 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. IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 2002, 10 (3), pp.268-380. 〈inria-00100900〉

Partager

Métriques

Consultations de la notice

305