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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00593142
Contributor : Thibault Lemattre <>
Submitted on : Saturday, May 14, 2011 - 8:39:17 AM
Last modification on : Tuesday, March 6, 2018 - 3:58:06 PM
Long-term archiving on : Monday, August 15, 2011 - 2:21:32 AM

File

JDMACS_FINALE.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

296

Files downloads

157