Identification des états incompatibles lors d'un changement de mode
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.