Vérification des protocoles de communication dans les systèmes sûrs de fonctionnement - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

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.
Fichier non déposé

Dates et versions

hal-00378712 , version 1 (26-04-2009)

Identifiants

  • HAL Id : hal-00378712 , version 1

Citer

Pavol Barger, Jean-Marc Thiriet, Jean-François Aubry, Philippe Charpentier. Vérification des protocoles de communication dans les systèmes sûrs de fonctionnement. 6ème Congrès international pluridisciplinaire en Qualité et Sûreté de Fonctionnement, Qualita 2005, Mar 2005, Bordeaux, France. pp.CD. ⟨hal-00378712⟩
86 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More