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

Joseph Albukerque (1)

1 LAAS - Laboratoire d'analyse et d'architecture des systèmes

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

Mots clés: AUTOMATISME LOGIQUE; RESEAU PETRI; SPECIFICATION; SYSTEME COMPLEXE; SYSTEME INTERCONNECTE; AUTOMATE PROGRAMMABLE; PASCAL; LOGICIEL; LANGAGE EVOLUE

Domaines: Automatique / Robotique

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