Réponse rapide
Gérer explicitement les états rend visibles initialisation, fonctionnement, attente, défaut, arrêt et reprise, évite les transitions implicites et permet d’associer à chaque état des commandes et protections définies.
Lister les états
Chaque état précise préconditions, sorties, actions autorisées et signaux attendus. Un état inconnu ou incohérent conduit à une transition sûre.
Contrôler les passages
Événements, timeouts, acquittements et priorités déterminent les changements. Les transitions simultanées sont arbitrées plutôt que dépendre de l’ordre d’exécution.
Expliquer le comportement
État courant, cause et historique sont publiés au superviseur. Les tests couvrent perte de capteur, redémarrage, annulation et reprise.