Spécification et validation d'automatismes logiques interconnectés - TEL - Thèses en ligne Access content directly
Theses Year : 1982

Spécification et validation d'automatismes logiques interconnectés

Abstract

CE MEMOIRE EST COMPOSE DE TROIS CHAPITRES. LE PREMIER POSE LE PROBLEME DE LA SPECIFICATION DES SYSTEMES DE COMMANDE COMPLEXES FORMES D'UN ENSEMBLE D'AUTOMATISMES COMMUNICANTS. APRES AVOIR INTRODUIT LES RESEAUX DE PETRI EN TANT QU'OUTIL FORMEL POUR LA SPECIFICATION, IL EST MONTRE QUE CET OUTIL N'EST PAS CONTRADICTOIRE AVEC UNE APPROCHE STRUCTUREE. QUELQUES REGLES DE STRUCTURATION SONT PROPOSEES. CETTE DEMARCHE EST ILLUSTREE PAR UN EXEMPLE CONCRET. LE SECOND CHAPITRE MONTRE COMMENT UNE SPECIFICATION STRUCTUREE PEUT ETRE VALIDEE. LE TROISIEME CHAPITRE PROPOSE UN LANGAGE DE SPECIFICATION ADAPTE A LA DESCRIPTION STRUCTUREE D'AUTOMATISMES INTERCONNECTES. CE LANGAGE EST FONDE SUR L'UTILISATION DES RESEAUX DE PETRI. UN LOGICIEL D'ANALYSE SYNTAXIQUE ET SEMANTIQUE A ETE DEVELOPPE SUR MICROCALCULATEUR EN LANGAGE PASCAL. CE LOGICIEL TRADUIT LA SPECIFICATION EN TABLES ET EST CONCU DE FACON A PERMETTRE LE TELECHARGEMENT D'AUTOMATES PROGRAMMABLES SPECIALISES
Indisponible
Fichier principal
Vignette du fichier
2726.pdf (3.81 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

tel-00181390 , version 1 (23-10-2007)

Identifiers

  • HAL Id : tel-00181390 , version 1

Cite

Joseph Albukerque. Spécification et validation d'automatismes logiques interconnectés. Automatique / Robotique. Université Paul Sabatier - Toulouse III, 1982. Français. ⟨NNT : ⟩. ⟨tel-00181390⟩
284 View
110 Download

Share

Gmail Facebook X LinkedIn More