Skip to Main content Skip to Navigation
Theses

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

Résumé : 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
Document type :
Theses
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00181390
Contributor : Anne Bergez <>
Submitted on : Tuesday, October 23, 2007 - 4:24:51 PM
Last modification on : Friday, January 10, 2020 - 9:08:09 PM
Long-term archiving on: : Monday, June 27, 2011 - 5:23:38 PM

File

2726.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-00181390, version 1

Citation

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

Share

Metrics

Record views

392

Files downloads

222