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

Computer design of the control of a process without deadlock

• Auteur / Autrice : Christophe Haro
• Direction : Christian Proust
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2002
• Etablissement(s) : Tours
• Jury : Président / Présidente : Philippe Chrétienne
• Jury : Examinateurs / Examinatrices : Patrick Martineau, Pascal Richard
• Jury : Rapporteur / Rapporteuse : Francis Cottet, Jacques Carlier

Mots clés

Mots clés contrôlés

Petri, Réseaux de

Réseaux (mathématiques)

Analyse de réseau (planification)

Programmation (mathématiques)

Ordonnancement (gestion)

Systèmes d'exploitation (ordinateurs)

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.

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.