QCM : Modélisation des systèmes à événements discrets — 22 questions

Explication

Un événement est un phénomène localisé et instantané, qui survient en un point de l’espace et à un instant déterminé, comme l’appui sur un bouton.

Explication

Le front descendant ↓a correspond au passage de 1 à 0. Le passage de 0 à 1 est appelé front montant, noté ↑a.

Explication

Un système à événements discrets évolue en fonction de l’apparition d’événements discrets, plutôt que selon une variation continue du temps.

Explication

Dans un SED combinatoire, chaque valeur du vecteur d’entrée correspond à une seule valeur du vecteur de sortie. Un SED séquentiel dépend également des évolutions passées.

Explication

L’évolution future d’un SED séquentiel dépend de ses états précédents ; une table de vérité seule ne permet donc pas de la décrire sans ambiguïté.

Explication

Les SED peuvent notamment être représentés par des tables de vérité, des équations logiques ou des logigrammes, des chronogrammes et des diagrammes SysML comportementaux.

Explication

Les deux catégories fondamentales de systèmes à événements discrets sont les SED combinatoires et les SED séquentiels.

Explication

Le diagramme de séquences sert à modéliser l’interaction entre un acteur et un système. Le diagramme d’activité décrit plutôt une succession d’actions assimilable à un algorithme.

Explication

Le diagramme d’activité décrit une succession d’actions élémentaires sans événement extérieur et correspond à un algorithme. Le diagramme d’états prend en compte des événements dynamiques.

Explication

Le diagramme d’états est utilisé lorsqu’un événement doit être pris en compte dans le comportement dynamique interne d’un bloc.

Explication

Un état est une situation durant la vie d’un bloc pendant laquelle celui-ci satisfait une condition, exécute une activité ou attend un événement.

Explication

Une transition est un arc orienté qui relie un état source à un état cible. Une condition de garde détermine plutôt si cette transition peut être franchie.

Explication

Le franchissement exige simultanément que l’état source soit actif, que l’événement apparaisse et que la condition de garde soit vraie à cet instant.

Explication

Une ligne de commande s’écrit « événement [condition de garde] / activité ». Chacun de ces termes est facultatif, mais leur ordre reste celui de cette notation.

Explication

Une activité est une séquence d’actions pouvant être interrompue. Une action, à l’inverse, représente un comportement élémentaire non interrompable.

Explication

L’activité « do » s’exécute tant que l’état est actif. « entry » intervient à l’activation et « exit » à la désactivation.

Explication

Un événement de signal correspond à l’arrivée d’un signal asynchrone, un événement de changement à une valeur interne devenue vraie et un événement temporel à une échéance relative ou absolue.

Explication

Le pseudo-état initial est activé au lancement de la machine et est unique par machine. Il ne possède pas de transition entrante, contrairement à ce que suggère la confusion avec le pseudo-état final.

Explication

Une transition automatique est franchie à la fin de l’activité do. En l’absence d’activité do, elle est franchie à la fin de entry.

Explication

Un état composite contient un automate fini qui détaille son fonctionnement séquentiel dans une région. La présence de plusieurs automates fonctionnant en parallèle caractérise plutôt un état orthogonal.

Explication

Un état composite contient un automate fini dans une région, alors qu’un état orthogonal contient plusieurs automates finis, appelés régions, qui fonctionnent en parallèle.

Explication

La logique ordinaire recherche normalement un unique état actif par machine, mais les régions orthogonales permettent plusieurs états actifs en parallèle. Elles constituent donc une exception à cette règle générale.