Techniques formelles pour le développement de systèmes de conduite de procédés manufacturiers : abstraction, spécification, synthèse et optimisation - Université de Lorraine Accéder directement au contenu
Thèse Année : 1991

Formal techniques for the development of process-control systems in the area of manufacturing processes: abstraction, specification, synthesis and optimisation

Techniques formelles pour le développement de systèmes de conduite de procédés manufacturiers : abstraction, spécification, synthèse et optimisation

Résumé

Not available
Nous utilisons des techniques classiques d'abstraction, de spécification et de synthèse de programmes pour proposer une démarche de développement formel de systèmes temps réels dans le cadre (restreint) de la conduite des processus de productions discrètes. Dans le type de problème que nous avons à traiter, on dispose d'une installation industrielle dont les composants assurent des fonctions élémentaires de transformation, d'assemblage et de manutention de produits. Ces composants peuvent être mis en marche par des actionneurs et des capteurs fournissent des renseignements sur l'état du système et des produits. On souhaite construire un logiciel qui pilote l'installation existante pour obtenir un système global ayant certaines fonctionnalités. Nous préconisons une démarche qui consiste à faire une description abstraite et formelle de l'installation existante sans préjuger de son utilisation future, en combinant le formalisme des types abstraits et une extension temps réelle de la logique temporelle spécifier formellement le résultat attendu de son fonctionnement en indiquant essentiellement la relation qui existe entre les produits fabriqués et ceux de base. A partir des éléments précédents, nous synthétisons des programmes séquentiels de commande de l'installation donnée. Nous optimisons ensuite ces programmes en essayant de les paralléliser au maximum.
Fichier non déposé

Dates et versions

tel-01747881 , version 1 (29-03-2018)

Identifiants

  • HAL Id : tel-01747881 , version 1

Accès intranet

Citer

Honoré Tchuenkam Tchoneng. Techniques formelles pour le développement de systèmes de conduite de procédés manufacturiers : abstraction, spécification, synthèse et optimisation. Autre. Université Henri Poincaré - Nancy 1, 1991. Français. ⟨NNT : 1991NAN10413⟩. ⟨tel-01747881⟩
15 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More