Recherche Avancée

Thèse soutenue

Spécification formelle de commande numérique de machine-outil

FR  |  
EN
Auteur / Autrice : Sidi Mohamed Yazid
Direction : RICHARD BERLAMD
Type : Thèse de doctorat
Discipline(s) : Informatique. Automatique
Date : Soutenance en 1997
Etablissement(s) : Limoges
Partenaire(s) de recherche : Autre partenaire : Université de Limoges. Faculté des sciences et techniques

Résumé

FR

La these vise a aborder, avec l'aide de methodes de genie logiciel, les specificites des commandes numeriques de machines-outils presentes dans l'industrie. Le premier chapitre est consacre a l'etablissement de la pre-specification d'une commande numerique, c'est a dire le decoupage du flux d'informations qui fait que l'on passe d'une donnee du programme piece au deplacement de l'outil. Le second chapitre presente les possibilites de la methode z a l'aide de deux exemples de nature informatique. Il presente ensuite les regles de passage de la pre-specification, etablie dans le premier chapitre, a une specification en z. Le troisieme chapitre utilise le decoupage obtenu en i pour donner une description formelle originale, a l'aide de schemas, de l'enchainement des operations executees pour une commande numerique elementaire. Sur cette description nous construisons de maniere progressive des operations plus complexes. La se voit l'interet des regles presentees dans le second chapitre pour la construction des modeles formels des differentes variantes du fonctionnement de la commande numerique. Dans le quatrieme chapitre, on montre l'interet de z pour la verification des specifications presentees dans le chapitre precedent. On fournit une methode permettant de reconnaitre l'execution par la machine (specifiee prealablement) d'une suite d'operations qui pourraient etre regroupees dans un cycle d'usinage. Le cinquieme chapitre introduit l'usage d'une extension de z permettant une traduction des schemas de z en langage objet. Il pallie au probleme de la structuration de la specification en z, et fournit un modele a la fois formel et modulaire du fonctionnement de la commande numerique.