ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 39/9-10 - 2005  - pp.1099-1131  - doi:10.3166/jesa.39.1099-1131
TITRE
IMPLANTATION MATÉRIELLE DE SYSTÈMES COMPLEXES : TRADUCTION AUTOMATIQUE D'UN RÉSEAU DE PETRI NON AUTONOME EN COMPOSANTS VHDL

RÉSUMÉ
L'avènement des circuits intégrés programmables permet une mise en oeuvre matérielle de systèmes complexes avec des possibilités d'intégration considérables, tout en permettant, à l'aide des outils actuels, un développement d'applications complexes à un niveau d'abstraction élevé. Néanmoins, la complexité sans cesse croissante des systèmes numériques impose le recours à des formalismes et outils facilitant tant leur conception (description et vérification) que leur réalisation. Nous proposons dans ce cadre une approche basée composant pour la traduction automatique dans un langage permettant l'implémentation (sur circuits intégrés programmables), le VHDL en l'occurrence, des réseaux de Petri généralisés interprétés temporels. Cette approche composant favorise la conception coopérative (formalisme commun, modularité) et la réutilisation tant des spécifications que des composants générés.


ABSTRACT
The advent of programmable logic devices promotes the realisation of highly integrated circuits, using tools that allows the design of complex systems with a relatively high level of abstraction. Nevertheless, the constantly increasing complexity of digital systems imposes to use formalisms and tools which ease both their design (description and verification) and their implementation. With this end, we propose an approach based on components for the automatic translation of interpreted Petri nets with time in VHDL. This component based approach enhances the cooperative design (common formalism, modularity) and the reuse of both specifications and hardware components.


AUTEUR(S)
David ANDREU, Alexandre NKETSA, Thierry GIL

MOTS-CLÉS
réseaux de Petri, VHDL, composants matériels.

KEYWORDS
Petri nets, VHDL, hardware components.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (287 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier