Un outil pour le prototypage des systemes temps reel : le communicateur et son implementation

par Nacéra Ould-Kaddour

Thèse de doctorat en Sciences appliquées

Sous la direction de Marc Courvoisier.

Soutenue en 1988

à Toulouse 3 .

mots clés

• Sciences appliquees
• Informatique, automatique theorique, systemes
• These
• Synchronisation
• Reseau petri
• Specification
• Systeme temps reel
• Prototype
• Environnement programmation
• Genie logiciel
• Modula 2
• Thesis
• Synchronization
• Petri net
• Specification
• Real time system
• Prototype
• Programming environment
• Software engineering

Résumé

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

Titre traduit

A tool for prototyping real time systems : the communicator and its implementation

Pas de résumé disponible.