Réseaux de Petri appliqués à la conception de systèmes numériques rapides

Abstract

Nous avons élaboré une méthode pour concevoir des architectures de systèmes numériques adaptés à un algorithme. Nous avons crée pour cela un langage sans opérateurs prédéfinis qui permet au concepteur de spécifier son algorithme et décrire des composants matériels qu’il utilisera. Nous construisons un graphe de transmission de données, puis un graphe de précédence de tâches afin d’obtenir un réseau de Petri sans les contraintes en ressources (composants, mémoires et convexions). Nous ajoutons alors à ce réseau les contraintes en ressources grâce à une stratégie fondée sur une exécution contrôlée du réseau. Le réseau de Petri ainsi obtenu décrit l’architecture du système numérique et fournit l’ordonnancement des tâches qui en tire le meilleur parti.