Proposition d'une méthode formelle d'automatisation de systèmes de production à l'aide de la méthode B - Université de Lorraine Accéder directement au contenu
Thèse Année : 2001

Proposition d'une méthode formelle d'automatisation de systèmes de production à l'aide de la méthode B

Patrick Lamboley
  • Fonction : Auteur
  • PersonId : 786894
  • IdRef : 059314672

Résumé

Presented works refers to system engineering in order to facilitate, as soon as possible, a common and consensual representation of services expected from an automated system by the various actors involved in an automation life cycle. Objective is to propose, especially in the initial phase of specification, a formal method that helps in verifying the following predicate : Control specifications ^ Process spécifications => Specifications of system goals. In a complementary way to the works in Automatic control, within the framework of the Supervisory Control theory, for which the system objectives and the process behaviors are perfectly known and modeled, our approach is characterized by a formal abstract representation, based on the B language, that offers a common and consistent vision of the various engineering processes (automation engineering, mechanical engineering, ) and that should be more or less refined before the use of skill-oriented representations.
Les travaux s'inscrivent dans le cadre d'une ingénierie système afin de faciliter, au plus tôt, une représentation commune et consensuelle des services attendus d'un système automatisé par les différents acteurs du procédé d'automatisation. Ils ont pour objet de proposer, notamment dans la phase initiale de spécification, une méthode formelle vérifiant le prédicat d'automatisation : Spécifications des processus de commande ^ Spécifications des processus opérants => Spécifications des objectifs "système". De manière complémentaires aux travaux développés en Automatique, dans le cadre de la théorie de la Supervision, pour lesquels les objectifs du système à automatiser et les comportements des processus opérants sont parfaitement connus et modélisés, notre approche se caractérise par un processus incrémental de spécification, basé sur le langage B, permettant aux acteurs d'un processus d'automatisation d'aboutir progressivement à une vision commune et cohérente du système automatisé.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : tel-01746561 , version 1

Accès intranet

Citer

Patrick Lamboley. Proposition d'une méthode formelle d'automatisation de systèmes de production à l'aide de la méthode B. Autre. Université Henri Poincaré - Nancy 1, 2001. Français. ⟨NNT : 2001NAN10177⟩. ⟨tel-01746561⟩
105 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More