| L'automatisation industrielle date du debut de l'ere industrielle. Elle beneficie ainsi d'une riche pratique, comme en temoigne le domaine des procedes industriels modernes avec sa panoplie de dispositifs tout aussi ingenieux qu'utiles. Dans ce contexte, il n'est pas surprenant de constater, des le debut du XX e siecle, l'apparition d'une discipline theorique, la cybernetique, qui est propre a ce domaine. L'avenement de l'ordinateur et la miniaturisation, en ajoutant a la versatilite et a la complexite des procedes industriels, n'ont fait qu'accentuer le besoin d'une telle discipline. On peut toutefois se surprendre que, malgre cette longue histoire, et malgre des avances considerables dans les differents modeles theoriques de ce qu'il convient d'appeler "le controle des processus en temps reel", les methodes pour la programmation de ces systemes demeurent, aujourd'hui encore, toujours si empiriques. Quant a l'utilisation de methodes formelles pour la specification de tels systemes, on en entend a peu pres pas parler dans l'industrie. Il semble qu'il y ait un probleme serieux a passer de la theorie a la pratique. Ce memoire s'inscrit dans ce contexte. Il explore le probleme de la generation de code pour des usines industrielles modulaires controlees par des automates programmables. |
