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.