Limites et dépannage¶

Ce qui n'existe pas encore¶

• États composites (super-états contenant une sous-machine) et transitions qui sortent d'un état composite.
• Régions parallèles (états orthogonaux), fork / join.
• Historique (H, H*), jonction (point de jonction), points d'entrée / de sortie.
• Événements internes, send, transitions internes.
• Texte sur les liens : OMEdit ne sait pas afficher les paramètres d'une transition sur une ligne de connexion ; la transition est donc un bloc posé sur la flèche.
• Contrôle de la structure : rien n'empêche de poser deux Initial, ou de relier deux fois le même port.

Dépannage¶

« maximum number of event iterations » ou simulation figée à un instant. Des transitions toujours franchissables forment une boucle : par exemple un aller-retour off → on → off dont les deux transitions sont des complétions avec des gardes vraies en même temps. La machine franchit sans fin au même instant. Remèdes : un déclencheur Signal ou When (événements, franchis une seule fois), des gardes exclusives (hystérésis : T < 19 °C d'un côté, T > 21 °C de l'autre), ou un after.

Une transition ne franchit jamais. Vérifier que source est reliée à l'état de départ et target à l'état d'arrivée (la pointe de flèche doit viser l'arrivée) ; qu'aucune transition plus prioritaire ne franchit à sa place ; qu'un événement Signal ou When survient bien pendant que l'état source est actif et que la garde est vraie à cet instant.

Moins d'équations que de variables (« under-determined system »). Un port d'état n'est relié à aucune transition : nTop, nRight, nBottom ou nLeft est plus grand que le nombre de transitions réellement connectées de ce côté (par exemple après la suppression d'une connexion). Le Check Model compte alors moins d'équations que de variables, et la simulation échoue. Remettre le bon nombre dans l'onglet Ports du dialogue de paramètres de l'état.

Trop d'équations (« over-determined system »). Les deux extrémités d'une transition (ou deux transitions) sont reliées au même élément de port. Chaque extrémité de transition doit avoir son propre élément : pour une transition d'un état vers lui-même, utiliser deux ports, par exemple bottom[1] et bottom[2].