Système de génération de code pour des usines industrielles modulaires

Abstract

L’automatisation industrielle date du début de l’ère industrielle. Elle bénéficie ainsi d’une riche pratique, comme en témoigne le domaine des procédés industriels modernes avec sa panoplie de dispositifs tout aussi ingénieux qu’utiles. Dans ce contexte, il n’est pas surprenant de constater, dès le début du XXe siècle, l’apparition d’une discipline théorique, la cybernétique, qui est propre à ce domaine. L’avènement de l’ordinateur et la miniaturisation, en ajoutant à la versatilité et à la complexité des procédés industriels, n’ont fait qu’accentuer le besoin d’une telle discipline. On peut toutefois se surprendre que, malgré cette longue histoire, et malgré des avancées considérables dans les différents modèles théoriques de ce qu’il convient d’appeler « le contrôle des processus en temps réel », les méthodes pour la programmation de ces systèmes demeurent, aujourd’hui encore, toujours si empiriques. Quant à l’utilisation de méthodes formelles pour la spécification de tels systèmes, on en entend à peu près pas parler dans l’industrie. Il semble qu’il y ait un problème sérieux à passer de la théorie à la pratique. Ce mémoire s’inscrit dans ce contexte. Il explore le problème de la génération de code pour des usines industrielles modulaires contrôlées par des automates programmables.