Réserver une Démo
Pré. Proc.

Déclencheurs en Attente

Lorsqu'une simulation atteint un point où tout changement d'état (pour n'importe quel thread) nécessite qu'un Déclencheur se déclenche, la simulation est effectivement mise en pause et le contrôle revient au système. La simulation attend maintenant effectivement une forme d'événement (un signal du monde réel) pour se déclencher. La liste Déclencheurs en Attente est utile pour aider à déterminer quel Déclencheur doit être signalé manuellement.

Accéder

Ruban

Simuler > Simulation Dynamique > Événements

Le volet de droite répertorie Déclencheurs disponibles.

La liste Déclencheurs en Attente sur la fenêtre Simulation Événements est la suivante :

  • Rempli à chaque cycle Simulation avec tous Déclencheurs qui auraient un effet immédiat s'ils étaient signalés
  • Rempli d'un ensemble discret (les doublons éventuels ne sont pas affichés car un Déclencheur est effectivement diffusé à toutes les transitions à la fois)
  • Activé en double-cliquant sur le Déclencheur d'intérêt
  • Inclut tous déclencheurs possibles - y compris ceux qui activent les transitions sur les parents des états actuellement imbriqués
Cet exemple montre que la simulation actuelle a atteint un point où deux Déclencheurs possibles peuvent influencer le flux d'exécution.

Available Triggers are listed when simulation is at an impasse

En raison de la nature des Déclencheurs et de leurs effets, la liste peut se référer à chacune de ces situations d'exemple de manière tout aussi valable :

  • Un seul état a deux transitions sortantes qui attendent respectivement Hold et Pushdown ; le déclenchement de l'une d'entre elles activera la transition associée dans la simulation
  • Un même état a deux ou plusieurs déclencheurs possibles pour la même transition, comme une caméra de sécurité allumée par un détecteur de mouvement, un détecteur de son ou un détecteur de chaleur.
  • Deux (ou plusieurs) threads (régions simultanées) ont chacun un état en attente de Hold ou Pushdown ; le déclenchement de l'un de ces déclencheurs entraînera l'attente du ou des threads sur ce déclencheur pour continuer tandis que les autres threads resteront bloqués
  • Un état enfant attend l'un des déclencheurs tandis qu'un état parent attend l'autre ; le déclenchement d'un déclencheur entraînera le déclenchement de la transition associée et l'enfant ou le parent procédera en conséquence.
  • Toute combinaison de ceux-ci

Apprenez Plus