N. C. Audsley, A. Burns, R. Davis, K. Tindell, and A. J. Wellings, Fixed priority pre-emptive scheduling: An historical perspective, Real-Time Systems, vol.5, issue.4, pp.173-198, 1995.
DOI : 10.1007/BF01094342

F. Baccelli, B. Gaujal, and D. Simon, Analysis of preemptive periodic real-time systems using the (max, plus) algebra with applications in robotics, IEEE Transactions on Control Systems Technology, vol.10, issue.3, pp.368-380
DOI : 10.1109/87.998024
URL : https://hal.archives-ouvertes.fr/inria-00100900

F. Baccelli, G. Gohen, G. J. Olsder, and J. Quadrat, SynchronizatioN and LinearitY : An Algebra for Discrete Event Systems, Wiley Series in Probability and Mathematical Statistics, 1992.

F. Benattar, Programmation et vérification de tâches robotiques multicadences. Master's thesis, DEA Imagerie, Vision et Robotique, 2001.

A. Burns and A. Wellings, HRT-HOOD: A structured design method for hard real-time systems, Real-time Systems, vol.36, issue.1, 1995.
DOI : 10.1007/BF01245300

J. Eker and A. Cervin, A Matlab toolbox for real-time and control systems co-design, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306), pp.320-327, 1999.
DOI : 10.1109/RTCSA.1999.811266

C. J. Fidge, Real-time schedulability tests for preemptive multitasking. Real-Time Systems, pp.61-93, 1998.

A. Girault, C. Lavarenne, M. Sighireanu, and Y. Sorel, Fault-tolerant static scheduling for realtime distributed embedded systems, 21st International Conference on Distributed Computing Systems, ICDCS'01, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072638

C. L. Liu and J. W. Layland, Scheduling algorithms for multiprogramming in hard real-time environment, Journal of the ACM, vol.20, issue.1, pp.40-61, 1973.

C. Lu, J. Stankovic, T. Abdelzaher, G. Tao, S. Son et al., Performance specifications and metrics for adaptive real-time systems, Real-Time Systems Symposium, 2000.

M. Mejia, D. Simon, P. Belmans, and J. J. Borrelly, Mécanismes de synchronisation dans un système robotique réparti, Séminaire franco-brésilien sur les systèmes informatiques répartis, 1989.

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

P. Puschner and A. Burns, Guest Editorial, Real-Time Systems, vol.30, issue.1-2, pp.115-128, 2000.
DOI : 10.1007/s11241-005-0501-2

C. Ramamoorthy and G. Ho, Performance evaluation of asynchronous concurrent systems using petri nets, IEEE Trans. on Software Engineering, vol.6, issue.5, pp.440-449, 1980.

K. Årzén, A. Cervin, J. Eker, and L. Sha, An introduction to control and scheduling codesign, 39th IEEE Conference on Decision and Control, 2000.

L. Sha, R. Rajkumar, and J. P. Lehoczky, Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers, vol.39, issue.9, pp.1175-1185, 1990.
DOI : 10.1109/12.57058

D. Simon, E. Castillo, and P. Freedman, Design and analysis of synchronization for real-time closed-loop control in robotics, IEEE Transactions on Control Systems Technology, vol.6, issue.4, pp.445-461, 1998.
DOI : 10.1109/87.701336

D. Simon, B. Espiau, E. Castillo, and K. Kapellos, Computer-aided design of a generic robot controller handling reactivity and real-time control issues, IEEE Transactions on Control Systems Technology, vol.1, issue.4, pp.213-229, 1993.
DOI : 10.1109/87.260267
URL : https://hal.archives-ouvertes.fr/inria-00074872

H. R. Simpson, Multireader and multiwriter asynchronous communication mechanisms, IEE Proceedings-Computer and Digital Techniques, pp.241-244, 1997.
DOI : 10.1049/ip-cdt:19971220

K. J. Äström and B. Wittenmark, Computer-Controlled Systems -Theory and Design, 1990.

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399