Aide à la conception d'architectures opérationnelles de commande de systèmes critiques par analyse d'atteignabilité

Résumé : Ce papier présente une méthode qui facilite la conception de l'architecture opérationnelle d'un système de commande en proposant, à partir de la connaissance des caractéristiques des fonctions que doit assurer ce système et des contrôleurs choisis pour réaliser ces fonctions, une solution d'affectation des fonctions qui satisfait des contraintes de capacités et de répartition tout en minimisant le nombre de contrôleurs. Cette méthode repose sur la vérification d'une propriété d'atteignabilité sur un réseau d'automates communicants. L'intérêt de cette proposition est illustré par le traitement d'un cas non trivial issu de la réalité industrielle.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00593142
Contributeur : Thibault Lemattre <>
Soumis le : samedi 14 mai 2011 - 08:39:17
Dernière modification le : mardi 6 mars 2018 - 15:58:06
Document(s) archivé(s) le : lundi 15 août 2011 - 02:21:32

Fichier

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

Identifiants

  • HAL Id : hal-00593142, version 1

Collections

Citation

Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Jean-François Pétin, Patrick Salaün. Aide à la conception d'architectures opérationnelles de commande de systèmes critiques par analyse d'atteignabilité. 4èmes Journées Doctorales / Journées Nationales MACS, JD-JN-MACS, Jun 2011, Marseille, France. pp.CDROM. ⟨hal-00593142⟩

Partager

Métriques

Consultations de la notice

295

Téléchargements de fichiers

157