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

par Sidi Mohamed Yazid

Thèse de doctorat en Informatique. Automatique

Sous la direction de RICHARD BERLAMD.


  • Pas de résumé disponible.


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 227 p

Où se trouve cette thèse ?

  • Bibliothèque : Université de Limoges (Section Sciences et Techniques). Service Commun de la documentation.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.