Implantation matérielle de systèmes complexes : Traduction automatique d'un réseau de Petri non autonome en composants VHDL - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Journal Articles Journal Européen des Systèmes Automatisés (JESA) Year : 2005

Implantation matérielle de systèmes complexes : Traduction automatique d'un réseau de Petri non autonome en composants VHDL

Abstract

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 composants 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.
No file

Dates and versions

lirmm-00371821 , version 1 (30-03-2009)

Identifiers

  • HAL Id : lirmm-00371821 , version 1

Cite

David Andreu, Alexandre Nketsa, Thierry Gil. Implantation matérielle de systèmes complexes : Traduction automatique d'un réseau de Petri non autonome en composants VHDL. Journal Européen des Systèmes Automatisés (JESA), 2005, 39, pp.1099-1131. ⟨lirmm-00371821⟩
204 View
0 Download

Share

Gmail Facebook X LinkedIn More