Date : 1993
Editeur / Publisher : [S.l.] : [s.n.] , 1993
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Classification Dewey : 629.89
Résumé / Abstract : Les travaux présentés dans ce mémoire apportent une réponse à la conception des systèmes de contrôle commande (scc) appliqués qui exigent un fort taux de réutilisation. L'approche proposée part d'un modèle de spécification détaillée de ces systèmes. Elle consiste, tout d'abord, à en déterminer une architecture de principe, en prenant en compte la structuration de la partie opérative et, plus généralement, les contraintes liées à la topographie du site d'installation du système. Elle se poursuit ensuite par la détermination de l'architecture matérielle du scc et s'achève enfin par la conception des éléments de logiciels liés aux équipements programmes de cette architecture. La démarche s'appuie sur une formalisation précise des concepts inhérents aux trois aspects précédents. Elle propose de baser le processus de réutilisation, amenant progressivement l'architecture matérielle du scc appliqué à maturité, sur un modèle précis des données pouvant former des bibliothèques de constituants. Le logiciel de l'application est conçu après que soient allouées une série de fonctions aux différentes unités de traitement des équipements de l'architecture.
Résumé / Abstract : Il est étudié avec la méthode toccata, étendue dans cet ouvrage à la prise en compte de tous types de processus d'automatisme ; processus continus, processus séquentiels ou processus mixtes. A ce titre, la séparation entre l'étude des aspects transformationnels et réactifs de chaque sous-système porte par une unité de traitement jette les bases d'une technique simple de réutilisation de composants logiciels. Celle-ci contribue à proposer une démarche systématique de conception, s'accordant à instancier des types abstraits de commande pour définir les éléments de logiciel d'application interagissant avec les organes de la partie opérative. Ce mémoire présente également une contribution à la modélisation des scc utile à la spécification éventuelle d'outils informatiques adaptés aux activités de définition d'un système, de configuration de ses équipements et de programmation de l'application