Abstract: Les methodes de specification de la commande temps reel sont d'abord exposees. Les differents concepts, formalismes et modeles de communication et synchronisation sont discutes. Une approche basee reseaux de Petri est proposee pour la specification entre taches. Une methodologie pour le prototypage des systemes temps reel est proposee, deux contributions etant developpees.