Vérification des protocoles de communication dans les systèmes sûrs de fonctionnement
Résumé
Le but de cette communication est de présenter une étude pour la validation de deux réseaux de communication (AS-i ‘Safety at Work' et Profibus) destinés aux systèmes à contraintes de sûreté de fonctionnement élevées. L'intégration de tels réseaux dans des systèmes de sécurité est actuellement un problème ouvert et cette contribution a pour but de montrer certaines limites à prendre en compte. Pour les besoins de l'étude, les spécifications correspondantes sont modélisées avec des Réseaux de Petri Colorés.