Flashcards: Modélisation des systèmes à événements discrets — 41 cards

Qu'est-ce qu'un événement en logique ?

Un phénomène localisé et instantané en un point et instant donnés.

Que signifie le front montant $\uparrow a$ pour un signal booléen ?

Le passage de 0 à 1.

Que signifie le front descendant $\downarrow a$ pour un signal booléen ?

Le passage de 1 à 0.

Pourquoi la conjonction $\uparrow a \cdot \uparrow b$ est-elle toujours fausse ?

Parce que tous les déclencheurs sont asynchrones et distincts dans le temps.

Qu'est-ce qu'un système continu ?

Un système continu évolue avec des variables continues du temps.

Qu'est-ce qu'un système à événements discrets ?

Un système à événements discrets évolue selon des événements discrets.

Quelle différence principale existe entre un SED combinatoire et un SED séquentiel ?

Un SED combinatoire associe une entrée à une sortie unique, un séquentiel dépend du passé.

Pourquoi un SED séquentiel nécessite-t-il la mémorisation des états précédents ?

Parce qu'une table de vérité ne décrit pas clairement son évolution future.

Comment peut-on décrire un système à événements discrets (SED) ?

Par des tables de vérité, équations logiques, logigrammes, chronogrammes et diagrammes SysML comportementaux.

Qu'impose la frontière d'étude pour un système étudié ?

Elle distingue les événements entrants des sorties fournies par le SED.

Quelles sont les deux catégories fondamentales des systèmes à événements discrets ?

Les SED combinatoires et les SED séquentiels.

Quel diagramme modélise l'interaction entre un acteur et un système ?

Le diagramme de séquences.

Que décrit le diagramme d’activité en SysML ?

Une succession d’actions élémentaires sans événement extérieur.

À quoi correspond le diagramme d’activité en SysML ?

À un algorithme.

Quand utilise-t-on le diagramme d’états en SysML ?

Lorsqu’un événement doit être pris en compte pour modéliser un comportement dynamique interne.

Qu'est-ce qu'un état dans la vie d'un bloc ?

Une situation durant laquelle il satisfait une condition, exécute une activité ou attend un événement.

Qu'est-ce qu'une transition en modélisation d'états ?

Un arc orienté reliant un état source à un état cible.

Quand une transition est-elle franchissable ?

Lorsque l’état source est actif, l’événement apparaît et la condition de garde est vraie.

Comment s’écrit une ligne de commande de transition ?

Événement [condition de garde] / activité, chaque terme étant optionnel.

Qu'est-ce qu'une activité dans un système ?

Une activité est une séquence d’actions pouvant être interrompue.

Qu'est-ce qu'une action dans un système ?

Une action est un comportement élémentaire qui ne peut pas être interrompu.

Que se passe-t-il avec 'entry' dans un état ?

Entry s’exécute à l’activation de l’état.

Quand 'do' s’exécute-t-il dans un état ?

Do s’exécute tant que l’état est actif.

Quand 'exit' s’exécute-t-il dans un état ?

Exit s’exécute à la désactivation de l’état.

Que sont les événements de signal ?

Ils correspondent à l’arrivée d’un signal asynchrone.

Que sont les événements de changement ?

Ils correspondent à une valeur interne devenue vraie.

Que sont les événements temporels ?

Ils correspondent à une échéance relative ou absolue.

Qu'est-ce qu'un pseudo-état initial dans une machine à états ?

Un pseudo-état initial est activé au lancement et unique par machine.

Quelle caractéristique distingue le pseudo-état initial concernant ses transitions ?

Il n'a aucune transition entrante.

Que fait un pseudo-état final lorsqu'il est activé ?

Il arrête l’automate fini.

Quelle caractéristique distingue le pseudo-état final concernant ses transitions ?

Il ne possède aucune transition sortante.

Quand une transition automatique est-elle franchie si l'état contient une activité do ?

Elle est franchie à la fin de l’activité do.

Quand une transition automatique est-elle franchie si l'état ne contient pas d'activité do mais une activité entry ?

Elle est franchie à la fin de l’activité entry.

Quand une transition automatique est-elle franchie si l'état ne contient ni activité do ni entry ?

Elle est franchie dès l’activation de l’état.

Que permet une transition réflexive dans une machine à états ?

Elle permet de réexécuter les activités exit et entry en interrompant l’activité do.

Qu'est-ce qu'un état composite ?

Un état composite contient un automate fini détaillant son fonctionnement séquentiel dans une région.

Qu'est-ce qu'un état orthogonal ?

Un état orthogonal contient plusieurs automates finis appelés régions qui fonctionnent en parallèle.

Que réactive le pseudo-état historique superficiel ?

Il réactive l’état actif au même niveau hiérarchique.

Que réactive le pseudo-état historique profond ?

Il réactive les états actifs à tous les niveaux hiérarchiques.

Quelle règle impose la logique SED concernant le nombre d'états actifs par machine ?

Il faut conserver un unique état actif par machine d’états.

Que faut-il éviter dans les transitions selon la logique SED ?

Il faut éviter les activités dans les transitions, les sorties exit et les transitions automatiques ordinaires.