Conception informatique du contrôle sans blocage d'un procédé
Institution:
ToursDisciplines:
Directors:
Abstract EN:
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.
Abstract FR:
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.