Global ETD Search

61	Proposition d'une méthodologie de conception de circuits intégrés de communication : réalisation d'un communicateur pour le réseau local FIP Diaz Nava, Mario 01 July 1986 (has links) (PDF) FIP=Factory Instrumentation Protocol. On réalise un circuit intégré de communication pour le réseau FIP, projet national de communication entre automates réflexes, capteurs et actionneurs. Le circuit intégré est spécifié pour permettre soit la connexion de capteurs simples, soit la connexion de capteurs intelligents ou des automates de réseau. La conception de ce circuit intégré «à la demande» résulte d'une méthodologie originale. Cette méthodologie est orientée vers la conception de circuits VLSI de communication à partir d'une bibliothèque d'opérateurs flexibles, d'une part pour réduire le temps de conception, d'autre part pour donner la possibilité aux ingénieurs non spécialistes en conception de concevoir eux-mêmes leur circuit Circuit intégré Conception assistée Réseau local Télécommande Robot Application industrielle Circuit interface Circuit VLSI Contrôleur Temps réel Méthodologie Architecture système Système hiérarchisé Logiciel Assemblage Bibliothèque Module fonctionnel Tracé graphique Simulation électrique Analyse fonctionnelle Spécification Protocole transmission Coût Circuit intégré monolithique Réseau télécommunication Contrôleur communication Opérateur flexible Circuit précaractérisé
62	Méthodologie de validation des systèmes structurés en couches par réseaux de Petri : application au protocole Transport Cousin, Bernard 09 April 1987 (has links) (PDF) Nous développons une méthode de modélisation et de validation adaptée aux système parallèles structurés en couches hiérarchiques. Nous définissons deux notions : la concordance de modèle prouve que le modèle possède bien les propriétés dégagées par les spécifications; l'adéquation de service valide le protocole par rapport à son service. Nous appliquons notre méthode à la modélisation du protocole de télécommunication de niveau Transport (la couche 4 d'après la norme ISO sur l'interconnexion des systèmes ouverts). Nous étudions tout particulièrement la gestion de désynchronisations du Service de la couche Réseau, et le contrôle de flux avec réquisition de crédit du protocole de la couche Transport. Nous utilisons les réseaux de Petri à prédicats pour décrire le modèle du service rendu par le couche Réseau sous-jacente et nous en servir pour construire le modèle du protocole de ma couche Transport. nous prouvons que la notion d'abstraction peut s'étendre aux réseaux de Petri à prédicats. La preuve du déroulement correct du protocole est apportée en utilisant les invariants issus du modèle. méthodologie de validation formelle réseaux de Petri à prédicats protocole Transport contrôle de flux réquisition de crédit réseaux de télécommunication la concordance de modèle l'adéquation de service

Search results

Proposition d'une méthodologie de conception de circuits intégrés de communication : réalisation d'un communicateur pour le réseau local FIP

Méthodologie de validation des systèmes structurés en couches par réseaux de Petri : application au protocole Transport