CI-5 : Modéliser, prévoir et vérifier les performances des systèmes combinatoires et séquentiels.

Transcription

1 CI-5 : Modéliser, prévoir et vérifier les performances des systèmes combinatoires et séquentiels. CI-5-2 Mémoriser l information. Prévoir, simuler et valider un système séquentiel LYCÉE CARNOT (DIJON), Germain Gondor Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

2 Sommaire 1 Système séquentiel 2 Mémoires 3 Diagrammes d états et d activités 4 Les structures algorithmiques de base Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

3 Système séquentiel Sommaire 1 Système séquentiel Définition Structure d un système séquentiel Chronogrammes ou diagramme de Gantt Diagramme de séquence (sd) 2 Mémoires 3 Diagrammes d états et d activités 4 Les structures algorithmiques de base Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

4 Système séquentiel Définition Définition DÉFINITION: Système séquentiel Système où l état des sorties S i dépend de l état des entrées à l instant présent, mais aussi de l histoire de l évolution des entrées-sorties. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

5 Système séquentiel Définition Définition DÉFINITION: Système séquentiel Système où l état des sorties S i dépend de l état des entrées à l instant présent, mais aussi de l histoire de l évolution des entrées-sorties. EXEMPLE : Commande d un moteur électrique par un système séquentiel (Figure 1). On remarque sur le chronogramme de droite que la sortie S peut présenter une valeur différente (0 ou 1) pour une configuration identique des entrées m et a. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

6 Système séquentiel Définition Définition DÉFINITION: Système séquentiel Système où l état des sorties S i dépend de l état des entrées à l instant présent, mais aussi de l histoire de l évolution des entrées-sorties. EXEMPLE : Commande d un moteur électrique par un système séquentiel (Figure 1). On remarque sur le chronogramme de droite que la sortie S peut présenter une valeur différente (0 ou 1) pour une configuration identique des entrées m et a. marche: m arrêt: a Commande Moteur S Amplificateur Moteur Commande d un moteur électrique m a S t Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

7 Système séquentiel Définition Le système est capable de mémoriser de l information. Cette information mémorisée est l état du système, qui peut être représenté par un vecteur d état #» X = (x 1, x 2,...,x n ). Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

8 Système séquentiel Définition Le système est capable de mémoriser de l information. Cette information mémorisée est l état du système, qui peut être représenté par un vecteur d état #» X = (x 1, x 2,...,x n ). E Système de commande #» x 1 X =... x n S Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

9 Système séquentiel Définition Le système est capable de mémoriser de l information. Cette information mémorisée est l état du système, qui peut être représenté par un vecteur d état #» X = (x 1, x 2,...,x n ). E Système de commande #» x 1 X =... x n S E #» X Système de commande S Représentation d un système séquentiel par un système combinatoire muni d un vecteur d état Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

10 Système séquentiel Définition Le système est capable de mémoriser de l information. Cette information mémorisée est l état du système, qui peut être représenté par un vecteur d état #» X = (x 1, x 2,...,x n ). E Système de commande #» x 1 X =... x n S E #» X Système de commande S Représentation d un système séquentiel par un système combinatoire muni d un vecteur d état Connaissant #» X et #» E, la sortie #» S peut être déterminée comme une fonction booléenne de #» X et de #» E : #» S = f( #» X, #» E). L état interne #» X à l instant t dépend de #» E(t) et de l état interne immédiatement précédent : #» X = f ( #» E(t). #» X(t t) ). Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

11 Système séquentiel Structure d un système séquentiel Structure d un système séquentiel Un système séquentiel évolue à partir d entrées logiques et à partir de son état caractérisé par un certain nombre de variables internes. Les variables internes évoluent à partir des entrées et de leurs propres valeurs mémorisées. La structure d un système séquentiel fait apparaître deux blocs fonctionnels combinatoires. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

12 Système séquentiel Structure d un système séquentiel Structure d un système séquentiel Entrée y i Bloc combinatoire C1 Y i Bloc combinatoire C2 Sortie Mémorisation La structure d un système séquentiel fait apparaître deux blocs fonctionnels combinatoires. La mémorisation des variables internes Y i (Y n+1 ) est réalisée au moyen d éléments spécifiques ou dans la construction même du système. Les temps de propagation des signaux dans le bloc C1 permettent de définir les valeurs actuelles des variables internes y i (Y n ) et les futures valeurs Y i (Y n+1 ). Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

13 Système séquentiel Chronogrammes ou diagramme de Gantt Chronogrammes ou diagramme de Gantt Afin de caractériser ces systèmes, on utilise alors les chronogrammes (aussi appelés diagrammes de Gantt). On représente l évolution chronologique des entrées et sorties en considérant des changements d états instantanés et simultanés. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

14 Système séquentiel Chronogrammes ou diagramme de Gantt Chronogrammes ou diagramme de Gantt Afin de caractériser ces systèmes, on utilise alors les chronogrammes (aussi appelés diagrammes de Gantt). On représente l évolution chronologique des entrées et sorties en considérant des changements d états instantanés et simultanés. e 1 e 2 e 3 S 1 S 2 t Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

15 Système séquentiel Chronogrammes ou diagramme de Gantt Chronogrammes ou diagramme de Gantt Afin de caractériser ces systèmes, on utilise alors les chronogrammes (aussi appelés diagrammes de Gantt). On représente l évolution chronologique des entrées et sorties en considérant des changements d états instantanés et simultanés. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

16 Système séquentiel Chronogrammes ou diagramme de Gantt Chronogrammes ou diagramme de Gantt Afin de caractériser ces systèmes, on utilise alors les chronogrammes (aussi appelés diagrammes de Gantt). On représente l évolution chronologique des entrées et sorties en considérant des changements d états instantanés et simultanés. e 1 e 2 e 3 S 1 S 2 t Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

17 Système séquentiel Diagramme de séquence (sd) Diagramme de séquence (sd) Définitions Le diagramme de séquence est un diagramme comportemental appelé Sequence Diagram (sd) dans le langage SysML. DÉFINITION: Diagramme de séquence diagramme permettant de décrire les interactions existant entre plusieurs entités, celles-ci pouvant être des acteurs, le système ou ses sous-systèmes. Le diagramme ne montre donc que l enchaînement séquentiel des différentes interactions. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

18 Système séquentiel Diagramme de séquence (sd) Un diagramme de séquence est rattaché à un cas d utilisation et décrit ce dernier en entier ou en partie, ce qui correspond à un scénario de fonctionnement possible, défini dans un cadre précis : il peut donc aboutir tout aussi bien à des évolutions positives (fonctionnement normal) ou négatives (gestion des problèmes), en particulier dans la phase de démarrage avant le fonctionnement normal. Le diagramme de séquence montre la séquence verticale des messages passés entre éléments (lignes de vie) au sein d une interaction. DÉFINITION: Ligne de vie Représentation de l existence d un élément participant dans un diagramme de séquence. Une ligne de vie possède un nom et un type. Elle est représentée graphiquement par une ligne verticale en pointillés. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

19 Système séquentiel Diagramme de séquence (sd) Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

20 Système séquentiel Diagramme de séquence (sd) Diagramme de séquence (sd) Aspects graphiques Pour les messages propres à un cas d utilisation, les diagrammes de séquence "système" montrent non seulement les acteurs externes qui interagissent directement avec le système, mais également ce système (en tant que boîte noire) et les événements système déclenchés par les acteurs. L ordre chronologique se déroule vers le bas et l ordre des messages doit suivre la séquence décrite dans le cas d utilisation. On représente un diagramme de séquence "système en plaçant de façon privilégiée l acteur principal à gauche, puis une ligne de vie unique représentant le système en boîte noire, et, enfin, les éventuels acteurs secondaires sollicités durant le scénario à droite du système. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

21 Système séquentiel Diagramme de séquence (sd) DÉFINITION: Message Appel d un comportement chez le destinataire. Cela peut être des signaux ou des opérations. On distingue trois catégories de messages: synchrones : l expéditeur attend une réponse pour poursuivre asynchrones : l expéditeur n attend rien en retour réponses : REMARQUE: il exite aussi des messages réflexifs Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

23 Système séquentiel Diagramme de séquence (sd) Diagramme de séquence (sd) Fragments combinés SysML propose une notation très utile : le fragment combiné. Chaque fragment possède un opérateur et peut être divisé en opérandes. Les principaux opérateurs sont : loop : boucle. Le fragment peut s exécuter plusieurs fois, et la condition de garde explicite l itération ; opt : optionnel. Le fragment ne s exécute que si la condition fournie est vraie ; alt : fragments alternatifs. Seul le fragment possédant la condition vraie s exécutera. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

27 Système séquentiel Diagramme de séquence (sd) Diagramme de séquence (sd) Contraintes temporelles SysML permet d ajouter des contraintes temporelles sur le diagramme de séquence. Il existe deux types de contraintes : la contrainte de durée permet d indiquer une contrainte sur la durée exacte, la durée minimale ou la durée maximale entre deux événements ; la contrainte de temps permet de positionner des labels associés à des instants dans le scénario au niveau de certains messages et de les relier ainsi entre eux. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

29 Système séquentiel Diagramme de séquence (sd) Pour simuler l aube, la lampe commence à émettre doucement trente minutes avant l heure du réveil. Le message 3 : lumière douce modélise ce début d éclairage. La contrainte de durée est représentée par une double flèche en prolongement de ce message et du déclenchement de l alarme (message 5), avec la durée entre accolades :{30 mn}. La contrainte de temps, pour sa part, est représentée en associant une contrainte{t = Halarme} en prolongement du message 5, et une autre contrainte{t = Halarme - 30 mn} en prolongement du message 3. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

30 Mémoires Sommaire 1 Système séquentiel 2 Mémoires Principe de réalisation d une fonction mémoire Bascule RS Bascules RS synchronisés 3 Diagrammes d états et d activités 4 Les structures algorithmiques de base Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

31 Mémoires Mémoires DÉFINITION: Fonction mémoire Fonction ayant pour but de conserver une information de l état des variables, de se souvenir d un événement du passé On utilise notamment les fonctions mémoires pour réaliser des compteurs. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

32 Mémoires Principe de réalisation d une fonction mémoire Principe de réalisation d une fonction mémoire Le principe de réalisation d une fonction mémoire repose sur le fait d utiliser la sortie comme entrée pour maintenir l information. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

33 Mémoires Principe de réalisation d une fonction mémoire Principe de réalisation d une fonction mémoire Le principe de réalisation d une fonction mémoire repose sur le fait d utiliser la sortie comme entrée pour maintenir l information. EXEMPLE : Réalisation d une mémoire élémentaire: Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

34 Mémoires Principe de réalisation d une fonction mémoire Principe de réalisation d une fonction mémoire Le principe de réalisation d une fonction mémoire repose sur le fait d utiliser la sortie comme entrée pour maintenir l information. EXEMPLE : Réalisation d une mémoire élémentaire: Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

35 Mémoires Principe de réalisation d une fonction mémoire Principe de réalisation d une fonction mémoire Le principe de réalisation d une fonction mémoire repose sur le fait d utiliser la sortie comme entrée pour maintenir l information. EXEMPLE : Réalisation d une mémoire élémentaire: S e? 1 s 1 1 s représente l état de la sortie S à l instant immédiatement précédent. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

36 Mémoires Principe de réalisation d une fonction mémoire Principe de réalisation d une fonction mémoire Le principe de réalisation d une fonction mémoire repose sur le fait d utiliser la sortie comme entrée pour maintenir l information. EXEMPLE : Réalisation d une mémoire élémentaire: S e? 1 s 1 1 s représente l état de la sortie S à l instant immédiatement précédent. Si initialement e et s sont à 0, un passage de e à 1 à un instant t 0 conduit à s = 1 pour t> t 0, quelle que soit la valeur de e après t 0. S mémorise si e est passé à 1 au cours du temps. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

37 Mémoires Principe de réalisation d une fonction mémoire Principe de réalisation d une fonction mémoire Le principe de réalisation d une fonction mémoire repose sur le fait d utiliser la sortie comme entrée pour maintenir l information. EXEMPLE : Réalisation d une mémoire élémentaire: S e? 1 s 1 1 s représente l état de la sortie S à l instant immédiatement précédent. Si initialement e et s sont à 0, un passage de e à 1 à un instant t 0 conduit à s = 1 pour t> t 0, quelle que soit la valeur de e après t 0. S mémorise si e est passé à 1 au cours du temps. L inconvénient de cette mémoire élémentaire est qu il est impossible de la remettre à zéro! Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

38 Mémoires Bascule RS Bascule RS Une bascule RS est un composant de mémorisation à deux entrées : R et S Représentation S (set) entrée de mise à un de la mémoire R (reset) entrée d effacement de la mémoire Q sortie R S Q Q Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

39 Mémoires Bascule RS Fonctionnement et Tableaux de Karnaugh R S Q n Q n ?

40 Mémoires Bascule RS Fonctionnement et Tableaux de Karnaugh R S Q n Q n ? Mémorisation (Q variable d état)

41 Mémoires Bascule RS Fonctionnement et Tableaux de Karnaugh R S Q n Q n ? Mémorisation (Q variable d état) Combinaison à déterminer Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

42 Mémoires Bascule RS Fonctionnement et Tableaux de Karnaugh R S Q n Q n ? Mémorisation (Q variable d état) Combinaison à déterminer r.s Q n

43 Mémoires Bascule RS Fonctionnement et Tableaux de Karnaugh R S Q n Q n ? Mémorisation (Q variable d état) Combinaison à déterminer r.s Q n ? ? 0 Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

44 Mémoires Bascule RS Réalisation de la bascule Bascule RS à déclenchement prioritaire RS = 1 Q = 0 r s Q 1 Q 2 Architecture d une mémoire à déclenchement prioritaire t Q1 = s + Q2 = s + r + Q1 = s.(r + Q1) et Q2 = r + Q1 = r.(s + Q2) REMARQUE: Q2 Q1 Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

51 Mémoires Bascule RS Réalisation de la bascule Bascule RS à enclenchement prioritaire RS = 1 Q = 1 r s Q 1 Q 2 Architecture d une mémoire à enclenchement prioritaire t Q1 = s.q2 = s.r.q1 = s +(r.q1) et Q2 = r.q1 = r +(s.q2) REMARQUE: Q2 Q1 Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

58 Mémoires Bascule RS Réalisation de la bascule Bascule RS à entrée simultanée passive RS = 1 Q n = Q n 1 (mémorisation) Bascule RS à entrée simultanée active RS = 1 Q n = Q n 1 (commutation) Architecture d une mémoire à à entrée simultanée passive Architecture d une mémoire à à entrée simultanée active Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

59 Mémoires Bascules RS synchronisés Bascules RS synchronisés Ces mémoires sont utilisées en informatique. Les entrées R et S ne sont lues qu à chaque temps d horloge. Le temps de propagation dans les portes logiques et les fils limite la fréquence de l horloge. On distingue les bascules à détection sur les fronts montants de l horloge et les bascules à détection sur les fronts descendants de l horloge. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

60 Mémoires Bascules RS synchronisés Détection sur les fronts montant de l horloge: R Q h: Clock h t h t S Q Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

61 Mémoires Bascules RS synchronisés Détection sur les fronts montant de l horloge: R Q h: Clock h t h t S Q Détection sur les fronts descendant de l horloge: h h t t h: Clock R S Q Q Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

62 Mémoires Bascules RS synchronisés EXEMPLE : : Bascule RS synchronisée sur les fronts montants Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

63 Mémoires Bascules RS synchronisés EXEMPLE : : Bascule RS synchronisée sur les fronts montants h S R Q t t t t Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

64 Mémoires Bascules RS synchronisés EXEMPLE : : Bascule RS synchronisée sur les fronts montants h S R Q t t t t REMARQUE: Ce type de mémoire nécessite de l énergie. Les informations sont perdues en cas de coupure de l alimentation (mémoire RAM). Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

65 Diagrammes d états et d activités Sommaire 1 Système séquentiel 2 Mémoires 3 Diagrammes d états et d activités Introduction Le diagramme d états Le diagramme d activités Synthèse sur le positionnement relatif de ces deux diagrammes 4 Les structures algorithmiques de base Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

66 Diagrammes d états et d activités Introduction Introduction La machine à nombre fini d états (FSM : Finite State Machine), est aussi appelée automate fini. Elle peut être une entité matérielle (un microprocesseur par exemple), mais aussi une entité conceptuelle comme un algorithme. Elle comporte un nombre fini d états. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

67 Diagrammes d états et d activités Introduction Introduction La machine à nombre fini d états (FSM : Finite State Machine), est aussi appelée automate fini. Elle peut être une entité matérielle (un microprocesseur par exemple), mais aussi une entité conceptuelle comme un algorithme. Elle comporte un nombre fini d états. DÉFINITION: Etat Représentation d une situation d une durée finie durant laquelle un système exécute une activité, satisfait à une certaine condition ou bien est en attente d un événement. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

68 Diagrammes d états et d activités Introduction La machine à états est un système à événement discrets, capable de mémoriser des données, de les traiter et de les restituer selon des scénarios définis au préalable. Elle peut être définie par : Dans un état, un système peut avoir une activité ou être en attente. Les états d un système se succèdent en fonction d événements. Un événement est une description d occurrence qui conduit à une évolution du comportement du système. On l appelle aussi un déclencheur (trigger). Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

69 Diagrammes d états et d activités Introduction La machine à états est un système à événement discrets, capable de mémoriser des données, de les traiter et de les restituer selon des scénarios définis au préalable. Elle peut être définie par : un état initial Dans un état, un système peut avoir une activité ou être en attente. Les états d un système se succèdent en fonction d événements. Un événement est une description d occurrence qui conduit à une évolution du comportement du système. On l appelle aussi un déclencheur (trigger). Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

70 Diagrammes d états et d activités Introduction La machine à états est un système à événement discrets, capable de mémoriser des données, de les traiter et de les restituer selon des scénarios définis au préalable. Elle peut être définie par : un état initial un ensemble d événements Dans un état, un système peut avoir une activité ou être en attente. Les états d un système se succèdent en fonction d événements. Un événement est une description d occurrence qui conduit à une évolution du comportement du système. On l appelle aussi un déclencheur (trigger). Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

71 Diagrammes d états et d activités Introduction La machine à états est un système à événement discrets, capable de mémoriser des données, de les traiter et de les restituer selon des scénarios définis au préalable. Elle peut être définie par : un état initial un ensemble d événements un ensemble d états Dans un état, un système peut avoir une activité ou être en attente. Les états d un système se succèdent en fonction d événements. Un événement est une description d occurrence qui conduit à une évolution du comportement du système. On l appelle aussi un déclencheur (trigger). Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

72 Diagrammes d états et d activités Introduction La machine à états est un système à événement discrets, capable de mémoriser des données, de les traiter et de les restituer selon des scénarios définis au préalable. Elle peut être définie par : un état initial un ensemble d événements un ensemble d états un ensemble d activités Dans un état, un système peut avoir une activité ou être en attente. Les états d un système se succèdent en fonction d événements. Un événement est une description d occurrence qui conduit à une évolution du comportement du système. On l appelle aussi un déclencheur (trigger). Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

73 Diagrammes d états et d activités Introduction La machine à états est un système à événement discrets, capable de mémoriser des données, de les traiter et de les restituer selon des scénarios définis au préalable. Elle peut être définie par : un état initial un ensemble d événements un ensemble d états un ensemble d activités un ensemble de règles permettant de déterminer le comportement du système. Dans un état, un système peut avoir une activité ou être en attente. Les états d un système se succèdent en fonction d événements. Un événement est une description d occurrence qui conduit à une évolution du comportement du système. On l appelle aussi un déclencheur (trigger). Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

74 Diagrammes d états et d activités Le diagramme d états Le diagramme d états Définition Le diagramme d états est un diagramme comportemental appelé StateMachine Diagram (stm) dans le langage SysML. DÉFINITION: Diagramme d états (stm) Diagramme dont la description du comportement sert à montrer les différents états pris par le bloc en fonction des évènements qui lui arrivent. Le diagramme d états est rattaché à un bloc (ou plutôt à son instance) qui peut être le système, un sous-système ou un composant. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

75 Diagrammes d états et d activités Le diagramme d états Etat Les éléments graphiques utilisés dans ce diagramme sont principalement des rectangles aux coins arrondis pour représenter les états. état 1 Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

76 Diagrammes d états et d activités Le diagramme d états L état initial correspond à la création de l instance du bloc pour lequel le diagramme d état est spécifié. L état final correspond à la destruction de cette instance de bloc. Il peut y en avoir plusieurs dans un diagramme d états. En effet, plusieurs scénarios peuvent être possibles pour mettre fin à un comportement. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

77 Diagrammes d états et d activités Le diagramme d états Transition Une transition peut être associée à un événement, à une condition de garde et / ou à un effet (une action). Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

78 Diagrammes d états et d activités Le diagramme d états Transition Une transition peut être associée à un événement, à une condition de garde et / ou à un effet (une action). événement [condition de garde] / effet état 1 état 2 Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

79 Diagrammes d états et d activités Le diagramme d états Transition Une transition peut être associée à un événement, à une condition de garde et / ou à un effet (une action). événement [condition de garde] / effet état 1 état 2 transition réflexive état 3 Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

80 Diagrammes d états et d activités Le diagramme d états Le passage d un état à un autre se fait en franchissant une transition : état 1 event [test] état 2 A l occurrence de event, test est évalué et la transition est franchie uniquement si test est vrai. L éventuelle activité est interrompue. Si test n est pas vrai, event est perdu et il faut attendre une seconde occurrence de event pour éventuellement franchir la transition si cette fois test est vrai. état 1 event état 2 A l occurrence de event, la transition est franchie sans condition. L éventuelle activité est interrompue. état 1 [test] état 2 Si test est vrai, la transition est franchie uniquement dès la fin de l éventuelle activité (qui doit donc être une activité finie). S il n y a pas d activité associée à l état 1, la transition est franchie immédiatement si test est vrai. état 1 état 2 Transition de complétion : est immédiatement franchie dès la fin de l éventuelle activité. Equivaut à [1]. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

81 Diagrammes d états et d activités Le diagramme d états Une transition réflexive entraîne une sortie d état puis un retour dans ce même état. Cela n est donc pas sans conséquences selon les cas. Il existe quatre types d événements associés à une transition : le message (signal event) : un message asynchrone est arrivé, l événement temporel (time event) : un intervalle de temps s est écoulé depuis l entrée dans un état (mot clé after) ou un temps absolu a été atteint (mot clé at), l événement de changement (change event) : une valeur a changé de telle sorte que la transition est franchie (mot clé when), l événement d appel (call event) : une requête de fonction (operation) du bloc a été effectuée. Un retour est attendu. Des arguments (paramètres) de fonction peuvent être nécessaires. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

82 Diagrammes d états et d activités Le diagramme d états état 1 message état 1 after (10 s) état 2 état 2 état 1 when (valeur = 5) état 1 fonction (paramètres) état 2 état 2 Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

83 Diagrammes d états et d activités Le diagramme d états La condition de garde est une expression booléenne faisant intervenir des entrées et/ou des variables internes. Elle autorise le passage d un état à un autre. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

84 Diagrammes d états et d activités Le diagramme d états Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

86 Diagrammes d états et d activités Le diagramme d états Activité et action A un état, on peut ainsi principalement rattacher une activité, une action d entrée et une action de sortie. Une activité peut être considérée comme une unité de comportement. Elle prend du temps et peut être interrompue. On la trouve à l intérieur des nœuds du diagramme (mot clé do). état entry / action d entrée do / activité exit / action de sortie Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

87 Diagrammes d états et d activités Le diagramme d états A contrario, une action ne prend pas de temps et ne peut pas être interrompue. Son exécution peut par exemple provoquer un changement d état, l émission d un ordre pour un préactionneur ou un retour de valeur. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

88 Diagrammes d états et d activités Le diagramme d états A contrario, une action ne prend pas de temps et ne peut pas être interrompue. Son exécution peut par exemple provoquer un changement d état, l émission d un ordre pour un préactionneur ou un retour de valeur. On peut les trouver dans les transitions (effet) ou dans les états (mots clé entry ou exit). Les actions sont les éléments de base permettant de spécifier les activités dans des diagrammes d activité. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

89 Diagrammes d états et d activités Le diagramme d états Etat composite (super-état) Un état composite est constitué de sous-états liés par des transitions. Cela permet d introduire la notion d état de niveau hiérarchique inférieur et supérieur. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

90 Diagrammes d états et d activités Le diagramme d états Etat composite (super-état) Un état composite est constitué de sous-états liés par des transitions. Cela permet d introduire la notion d état de niveau hiérarchique inférieur et supérieur. état 5 : état composite état composite renvoyant à un autre diagramme Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

91 Diagrammes d états et d activités Le diagramme d états Etat composite (super-état) Un état composite est constitué de sous-états liés par des transitions. Cela permet d introduire la notion d état de niveau hiérarchique inférieur et supérieur. état 5 : état composite état composite renvoyant à un autre diagramme état 5 : état composite état 51 état 52 Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

94 Diagrammes d états et d activités Le diagramme d états Régions orthogonales Un état composite peut également contenir des régions concurrentes (ou orthogonales), il suffit graphiquement de le séparer par des traits pointillés. Chaque région peut alors être nommée (optionnel). Elle contient ses propres états et ses propres transitions. Les régions sont dites concurrentes car elles peuvent évoluer en parallèle et indépendamment. L état courant de l élément concerné devient alors un vecteur à plusieurs lignes (autant que de régions). Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

96 Diagrammes d états et d activités Le diagramme d états Dans l exemple précédent, à partir de l état E1, quand l événement ev1 arrive, l élément passe dans l état composite E2. Cela signifie qu il est à la fois dans les états disjoints E31 et E41. Ensuite, suivant l ordre d arrivée des événements ev2, ev3 ou ev4, chaque région va évoluer indépendamment. Pour passer à l état E5, il faudra que l élément soit à la fois dans E32 et E43 quand ev5 arrivera. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

97 Diagrammes d états et d activités Le diagramme d états Les pseudo-états DÉFINITION: Pseudo-état Elément de commande qui influence le comportement d une machine d état. Ils peuvent être utilisés dans un diagramme d états ou dans un diagramme d activité. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

99 Diagrammes d états et d activités Le diagramme d états Le formalisme SysML admet neuf pseudo-états : shallow history H : permet à un état de niveau hiérarchique supérieur (état composite) de se souvenir du dernier sous-état, avant qu il n évolue vers un autre état, deep history H : idem que précédemment mais avec la propagation de l historique à tous les sous-états composites de niveaux hiérarchiques inférieurs, fork et join : divergence et convergence de séquences parallèles, choice et merge : sélection (choice) et convergence (merge) de séquences exclusives. Il est nécessaire qu une condition située en aval soit vraie pour que l évolution du système se poursuive. Les conditions de gardes doivent être exclusives. Le mot clé else peut-être utilisé pour englober tout ce qui n est pas décrit dans les autres expressions booléennes. Les conditions de garde situées en aval sont toutes évaluées une fois le pseudo-état atteint, junction : idem au pseudo-état choice, à la différence que pour qu un chemin soit emprunté, toutes les conditions de garde situées en aval et en amont, doivent être vraies. L évaluation des conditions avales est réalisée avant que le pseudo-état soit atteint, entry point et exit point : permet de créer un point d entrée du diagramme et un point de sortie vers un autre diagramme, terminate : permet de terminer une séquence sans destruction de l instance de bloc. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

100 Diagrammes d états et d activités Le diagramme d activités Le diagramme d activités Le diagramme d activités est un diagramme comportemental appelé Activity Diagram (act) dans le langage SysML. DÉFINITION: Diagramme d activités (act) Diagramme permettant de représenter le déroulement d un processus sous la forme d une activité correspondant à une décomposition séquentielle d actions, aussi appelées tâches. Il permet de décrire la transformation des flux d entrées en flux de sorties (matières, énergies, informations) par le biais de séquences d actions ou activité déclenchées par des flux de contrôle. Lorsqu une tâche est terminée, la suivante commence. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

101 Diagrammes d états et d activités Le diagramme d activités Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

102 Diagrammes d états et d activités Le diagramme d activités Dans sa forme la plus restreinte, ce diagramme représente un algorigramme, c est-à-dire un flux de contrôle. REMARQUE: ce flux n a rien à voir avec ceux présents dans le diagramme de blocs internes : il ne faut donc pas les confondre... Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

103 Diagrammes d états et d activités Le diagramme d activités Exemples Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

104 Diagrammes d états et d activités Le diagramme d activités Exemples Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

105 Diagrammes d états et d activités Le diagramme d activités Signaux et événements En plus de consommer et de produire des paramètres, une activité peut recevoir et émettre des signaux. L idée forte est de permettre à des activités de communiquer en incluant dans une activité l émission d un signal et dans une autre la réception d événements. Il faut utiliser pour cela des types d action particuliers, possédant chacun une représentation graphique spécifique : accept event action : send signal action : Recevoir Envoyer accept time event : Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

106 Diagrammes d états et d activités Le diagramme d activités Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

107 Diagrammes d états et d activités Synthèse sur le positionnement relatif de ces deux diagrammes Les deux types de diagrammes sont différents car : Le diagramme d états montre les événements déclenchant le passage d un mode à un autre et il y aura quasiment toujours un événement associé à une transition. Le diagramme d activités ne possède aucun événement associé aux transitions entre actions : la fin d une action implique automatiquement le passage à la suivante, donc dans un ordre déterminé d actions menant à un résultat. Lorsque le processus est enclenché, il va à son terme selon un ordre précis. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

108 Diagrammes d états et d activités Synthèse sur le positionnement relatif de ces deux diagrammes En conclusion : Le diagramme d états ne se rattache qu à un bloc, alors que le diagramme d activités peut être supporté par plusieurs blocs. Un pilotage par des événements se traduit par un diagramme d états : il ne doit donc pas devenir un diagramme d activités. Dans un processus décrit par un diagramme d activités, il est possible de mettre en évidence l élément associé à la tâche. Avec le diagramme d états, la question ne se pose pas car il est associé à un seul bloc. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

109 Diagrammes d états et d activités Synthèse sur le positionnement relatif de ces deux diagrammes Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

112 Les structures algorithmiques de base Sommaire 1 Système séquentiel 2 Mémoires 3 Diagrammes d états et d activités 4 Les structures algorithmiques de base L affectation Le groupe ou bloc d instructions Fonctions et procédures La structure alternative (conditionnelle) Les structures répétitives (itératives) Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

113 Les structures algorithmiques de base L affectation L affectation L affectation d une valeur à une variable peut se faire à l aide d une action. Cela ne prend pas de temps significatif. état 1 événement/affectation état 3 état 2 exit/affectation formalisme du diagramme d états Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

114 Les structures algorithmiques de base L affectation affectation C C+1 incrémentation formalisme du diagramme d activité Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

115 Les structures algorithmiques de base Le groupe ou bloc d instructions Le groupe ou bloc d instructions Un groupe ou un bloc d instructions peut être une séquence d un diagramme d activité. Cela correspond à une succession d actions et / ou d activités. action 1 action 2 action 3 Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

116 Les structures algorithmiques de base Fonctions et procédures Fonctions et procédures La décomposition d un algorithme en fonctions et procédures, permet : d une part, de scinder une problématique générale en plusieurs problématiques élémentaires, d autre part, de pouvoir réutiliser des sous-programmes réalisant des tâches élémentaires. Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

117 Les structures algorithmiques de base Fonctions et procédures Procédure Une procédure comporte une succession d instructions mais ne renvoie rien. ac [Activité] activité 2 [description] action 1 action 2 action 3 procédure : activité 2 la procédure est définie dans le diagramme de l activité 2 Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

118 Les structures algorithmiques de base Fonctions et procédures Procédure On peut aussi utiliser les états composites d un diagramme d états : stm [Machine d états] procédure [description] état 1 état 2 : procédure la procédure est définie dans le diagramme d états procédure Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

119 Les structures algorithmiques de base Fonctions et procédures Fonction A la fin de l exécution d une fonction, il y a le retour d une valeur, d une liste, d un objet, etc. ac [Activité] activité 3 [description] attente d un paramètre action valeur retournée fonction : activité 3 la procédure est définie dans le diagramme de l activité 3 Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

120 Les structures algorithmiques de base La structure alternative (conditionnelle) La structure alternative (conditionnelle) Structure alternative complète Si..., alors faire..., sinon faire... [condition fausse] [condition vraie] état 1 état 2 état 3 formalisme du diagramme d états Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

121 Les structures algorithmiques de base La structure alternative (conditionnelle) La structure alternative (conditionnelle) Structure alternative avec saut Si..., alors faire..., sinon faire... [else] action 1 [condition vraie] action 3 formalisme du diagramme d activité Sciences de l Ingénieur (MPSI - PCSI) CI-5-2 Mémoires et systèmes séquentiels Année / 83

Montrer encore