Identification des états incompatibles lors d'un changement de mode - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Identification des états incompatibles lors d'un changement de mode

Gregory Faraut
Laurent Piétrac
Eric Niel
  • Fonction : Auteur correspondant
  • PersonId : 843451

Connectez-vous pour contacter l'auteur

Résumé

Le changement de mode est un des problèmes que nous pouvons avoir lors de la conception de systèmes à événements discrets (SED). En effet, même basé sur des spécifications triviales, il est difficile de prouver formellement que les modèles de chaque mode et leurs interactions soient sans fautes. Cet article montre que l'utilisation de la théorie de contrôle par supervision est un outil intéressant pour détecter les incompatibilités entre spécifications grâce à une séparation entre le modèle du procédé et le modèle des spécifications. Nous utiliserons un cas simple pour présenter une méthode introduisant de la flexibilité dans les spécifications propres à chaque mode. Cette méthode permet d'ajuster, ou de modifier les incompatibilités entre spécifications afin d'obtenir un changement de mode cohérent.
Fichier non déposé

Dates et versions

hal-00476143 , version 1 (23-04-2010)

Identifiants

  • HAL Id : hal-00476143 , version 1

Citer

Gregory Faraut, Laurent Piétrac, Eric Niel. Identification des états incompatibles lors d'un changement de mode. JN-JD-MACS, Mar 2009, Angers, France. pp.électronique. ⟨hal-00476143⟩
53 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More