Thèse soutenue

Conception informatique du contrôle sans blocage d'un procédé
FR  |  
EN
Accès à la thèse
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
Examinateurs / Examinatrices : Patrick Martineau, Pascal Richard
Rapporteurs / Rapporteuses : Francis Cottet, Jacques Carlier

Résumé

FR  |  
EN

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.