Analyse de Réseau de Petri Temporels Exécutés de Façon Synchrone

Ibrahim Merzoug 1 Karen Godary-Dejean 2 David Andreu 1
1 CAMIN - Control of Artificial Movement and Intuitive Neuroprosthesis
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
2 EXPLORE - Robotique mobile pour l'exploration de l'environnement
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Résumé : Lors de la conception de systèmes numériques complexes, le recours aux méthodes formelles est utile notamment pour valider les propriétés du système, avec certitude. Cependant, les processus de validation usuels font abstraction des propriétés non fonc-tionnelles, notamment celles issues des contraintes d'exécution sur la cible matérielle. En l'occurrence, l'analyse des réseaux de Petri temporels doitêtrédoitêtré etudiée avec attention lorsque ce formalisme, intrinsèquement asynchrone, est exécuté de façon synchrone sur un FPGA. Il faut alors considérer la synchronisation d'horloge, le parallélisme effectif et l'interprétation. Actuellement, aucune sémantique formelle et aucune méthode d'analyse ne s'attaquentàattaquent`attaquentà toutes ces problématiques en même temps. Ainsi, nous proposons une nouvelle méthode d'analyse pour les réseaux de Petri interprétés exécutés en synchrone, avec une sémantique formelle d'exécution et un graphe d'´ etats spécifique : le Graphe de Comportement Synchrone.
Type de document :
Communication dans un congrès
MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France. pp.15, 2017, 〈http://www.lsis.org/msr2017/〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01591153
Contributeur : Karen Godary-Dejean <>
Soumis le : mercredi 20 septembre 2017 - 21:51:15
Dernière modification le : jeudi 11 janvier 2018 - 17:01:56

Fichier

MSR17_Finale.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01591153, version 1

Citation

Ibrahim Merzoug, Karen Godary-Dejean, David Andreu. Analyse de Réseau de Petri Temporels Exécutés de Façon Synchrone. MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France. pp.15, 2017, 〈http://www.lsis.org/msr2017/〉. 〈lirmm-01591153〉

Partager

Métriques

Consultations de la notice

68

Téléchargements de fichiers

24