Conception informatique du contrôle sans blocage d'un procédé

par Christophe Haro

Thèse de doctorat en Informatique

Sous la direction de Christian Proust.

Soutenue en 2002

à Tours .


  • Résumé

    Cette thèse s'intéresse à une classe de problèmes qui relèvent de l'analyse, la conception ou l'implémentation d'un système informatique pilotant un système de production automatisé. Le premier chapitre introduit l'architecture du logiciel. Le chapitre 2 traite de la modélisation par les réseaux de Pétri. Le troisième chapitre étudie la conception des noyaux des systèmes d'exploitation et le problème de l'ordonnancement. Le dernier chapitre traite des interblocages dans les systèmes d'exploitation et les systèmes de production.

  • Titre traduit

    Computer design of the control of a process without deadlock


  • Résumé

    This thesis is concerned by a class of problems that are relevant to the analysis, design or implementation of a computer system conducting an automated manufacturing system. The first chapter introduces the architecture of the software. Chapter 2 dealt with Petri nets models. Third chapter studies the design of operating systems kernels and the scheduling problèm. The last chapter dealt with deadlocks arising in operating and production systems.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (149 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 131-149.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Tours. Service commun de la documentation. BU de Grandmont.
  • Non disponible pour le PEB
  • Cote : TS-2002-TOUR-4024
  • Bibliothèque : Ecole Polytechnique de l’Université de Tours. Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Cote : DI-TH-666
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.