{"id":11206,"date":"2026-04-10T03:32:01","date_gmt":"2026-04-09T19:32:01","guid":{"rendered":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/"},"modified":"2026-04-10T03:32:01","modified_gmt":"2026-04-09T19:32:01","slug":"state-machine-diagram-deep-dive-transitions-guards-embedded","status":"publish","type":"post","link":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/","title":{"rendered":"Analyse approfondie du diagramme d’\u00e9tats : d\u00e9codage des transitions et des conditions de garde pour les syst\u00e8mes embarqu\u00e9s"},"content":{"rendered":"

Les syst\u00e8mes embarqu\u00e9s fonctionnent dans un monde d\u00e9fini par des \u00e9v\u00e9nements discrets et des contraintes continues. Contrairement aux syst\u00e8mes informatiques g\u00e9n\u00e9raux, o\u00f9 les ressources sont souvent abondantes, les applications bas\u00e9es sur des microcontr\u00f4leurs doivent g\u00e9rer la m\u00e9moire, la puissance de traitement et le temps avec une pr\u00e9cision chirurgicale. Au c\u0153ur d’une architecture logicielle embarqu\u00e9e fiable se trouve le diagramme d’\u00e9tats (SMD). Cette technique de mod\u00e9lisation fournit un cadre visuel et logique pour d\u00e9finir le comportement du syst\u00e8me, garantissant que chaque entr\u00e9e entra\u00eene une sortie pr\u00e9visible.<\/p>\n

Dans le cadre du langage de mod\u00e9lisation unifi\u00e9 (UML), le diagramme d’\u00e9tats est bien plus qu’un organigramme. Il s’agit d’une sp\u00e9cification rigoureuse du comportement dynamique. Pour les ing\u00e9nieurs concevant des microprogrammes pour des dispositifs critiques pour la s\u00e9curit\u00e9, des unit\u00e9s de contr\u00f4le automobile ou des capteurs IoT, comprendre les m\u00e9canismes des transitions et des conditions de garde n’est pas facultatif \u2014 c’est fondamental pour la stabilit\u00e9 du syst\u00e8me. Ce guide explore les subtilit\u00e9s techniques de la gestion des \u00e9tats, en se concentrant sur la syntaxe, la logique et les strat\u00e9gies d’impl\u00e9mentation n\u00e9cessaires pour des applications embarqu\u00e9es robustes.<\/p>\n

\n
\"Hand-drawn<\/figure>\n<\/div>\n

Comprendre les composants fondamentaux des machines \u00e0 \u00e9tats \ud83e\udde9<\/h2>\n

Avant de d\u00e9tailler les transitions et les conditions de garde, il faut d’abord ma\u00eetriser les unit\u00e9s atomiques qui composent le diagramme. Une machine \u00e0 \u00e9tats est un objet math\u00e9matique utilis\u00e9 pour concevoir des programmes informatiques et des circuits logiques num\u00e9riques. En UML, elle est repr\u00e9sent\u00e9e graphiquement afin de clarifier une logique complexe qui pourrait autrement devenir du code spaghetti.<\/p>\n

    \n
  • \u00c9tats :<\/strong> Ils repr\u00e9sentent des conditions durant lesquelles un objet ou un syst\u00e8me satisfait une condition, effectue une activit\u00e9 ou attend un \u00e9v\u00e9nement. Un \u00e9tat n’est pas une variable ; c’est un contexte pour le comportement.<\/li>\n
  • Pseudo-\u00e9tat initial :<\/strong> Repr\u00e9sent\u00e9 par un cercle plein, il marque le point de d\u00e9part de la machine. Il existe exactement un \u00e9tat initial par diagramme.<\/li>\n
  • Pseudo-\u00e9tat final :<\/strong> Repr\u00e9sent\u00e9 par un cercle plein \u00e0 l’int\u00e9rieur d’un cercle plus grand, il indique la fin du cycle de vie de la machine.<\/li>\n
  • Transitions :<\/strong> Les lignes orient\u00e9es reliant les \u00e9tats. Elles d\u00e9finissent le passage d’une condition \u00e0 une autre en fonction de crit\u00e8res sp\u00e9cifiques.<\/li>\n
  • \u00c9v\u00e9nements :<\/strong> Des signaux ou des occurrences qui d\u00e9clenchent une transition. Ceux-ci peuvent \u00eatre des signaux internes, des interruptions externes ou des expiration de temporisation.<\/li>\n<\/ul>\n

    Prenons un dispositif embarqu\u00e9 simple, tel qu’un thermostat intelligent. Il peut se trouver dans un \u00e9tat Inactif<\/em> \u00e9tat, un \u00e9tat Chauffage<\/em> \u00e9tat, ou un \u00e9tat Refroidissement<\/em> \u00e9tat. Le passage entre ces \u00e9tats est r\u00e9gi par les mesures de temp\u00e9rature (\u00e9v\u00e9nements) et les seuils de s\u00e9curit\u00e9 (conditions de garde). Sans un diagramme formalis\u00e9, la logique de passage entre chauffage et refroidissement peut facilement entra\u00eener des conditions de course ou des oscillations.<\/p>\n

    Analyse approfondie : transitions et leurs d\u00e9clencheurs \ud83d\udd04<\/h2>\n

    Les transitions sont les \u00e9l\u00e9ments actifs d’une machine \u00e0 \u00e9tats. Elles repr\u00e9sentent le transfert du contr\u00f4le d’un \u00e9tat \u00e0 un autre. Dans les syst\u00e8mes embarqu\u00e9s, le timing et la d\u00e9terminisme de ces transitions sont critiques. Une transition doit \u00eatre sans ambigu\u00eft\u00e9 ; le syst\u00e8me ne doit jamais se retrouver dans une situation o\u00f9 deux transitions sont \u00e9galement valides sans un m\u00e9canisme de priorit\u00e9 d\u00e9fini.<\/p>\n

    La syntaxe d’une transition<\/h3>\n

    Une notation de transition standard suit g\u00e9n\u00e9ralement cette structure :<\/p>\n

    \nd\u00e9clencheur<\/strong> [condition de garde]<\/strong> \/action<\/strong>\n<\/p><\/blockquote>\n

    Chaque composant remplit une fonction distincte dans le flux d’ex\u00e9cution :<\/p>\n

      \n
    • D\u00e9clencheur :<\/strong> L’\u00e9v\u00e9nement qui d\u00e9clenche la transition. Cela pourrait \u00eatre un appel de fonction, une interruption mat\u00e9rielle ou la fin d’une action interne.<\/li>\n
    • Garde :<\/strong> Une condition bool\u00e9enne qui doit \u00eatre \u00e9valu\u00e9e \u00e0 vrai pour que la transition ait lieu. Si la garde est fausse, la transition est ignor\u00e9e et le syst\u00e8me reste dans l’\u00e9tat actuel.<\/li>\n
    • Action :<\/strong> Le code ex\u00e9cut\u00e9 apr\u00e8s la fin de la transition. Cela est souvent utilis\u00e9 pour mettre \u00e0 jour des variables ou d\u00e9finir des drapeaux.<\/li>\n<\/ul>\n

      Par exemple, dans un syst\u00e8me de contr\u00f4le de moteur, une transition pourrait avoir l’aspect suivant :<\/p>\n

        \n
      • D\u00e9clencheur :<\/strong> surintensite_detectee<\/code><\/li>\n
      • Garde :<\/strong> vitesse > 1000 tr\/min<\/code><\/li>\n
      • Action :<\/strong> desactiver_moteur(); definir_drapeau_erreur();<\/code><\/li>\n<\/ul>\n

        Cela garantit que le moteur n’est pas arr\u00eat\u00e9 \u00e0 cause d’un pic momentan\u00e9, sauf s’il tourne \u00e9galement \u00e0 une vitesse o\u00f9 un tel pic indique une panne m\u00e9canique r\u00e9elle.<\/p>\n

        Types de transitions<\/h3>\n

        Toutes les transitions ne sont pas \u00e9quivalentes. Les ing\u00e9nieurs embarqu\u00e9s doivent distinguer les transitions externes des transitions internes afin de g\u00e9rer efficacement la complexit\u00e9.<\/p>\n

          \n
        • Transitions externes :<\/strong> Elles d\u00e9placent le syst\u00e8me d’un \u00e9tat \u00e0 un autre. Cela implique d’entrer dans un nouveau contexte d’\u00e9tat, d’ex\u00e9cuter les actions d’entr\u00e9e et potentiellement de quitter l’ancien \u00e9tat.<\/li>\n
        • Transitions internes :<\/strong> Elles se produisent sans quitter l’\u00e9tat actuel. Le syst\u00e8me traite un \u00e9v\u00e9nement, effectue une action et reste dans le m\u00eame \u00e9tat. Cela est particuli\u00e8rement efficace pour les syst\u00e8mes embarqu\u00e9s car cela \u00e9vite la surcharge des routines d’entr\u00e9e\/sortie d’\u00e9tat.<\/li>\n<\/ul>\n

          Les transitions internes sont particuli\u00e8rement utiles pour g\u00e9rer la journalisation des erreurs ou mettre \u00e0 jour les indicateurs d’\u00e9tat sans modifier le mode op\u00e9ratoire principal de l’appareil.<\/p>\n

          Conditions de garde : logique et d\u00e9terminisme \ud83d\uded1<\/h2>\n

          Les conditions de garde sont la logique de prise de d\u00e9cision \u00e0 l’int\u00e9rieur de la machine \u00e0 \u00e9tats. Elles agissent comme des filtres qui d\u00e9terminent si une transition est autoris\u00e9e. Dans le contexte des syst\u00e8mes embarqu\u00e9s, les gardes doivent \u00eatre d\u00e9terministes et efficaces. Une logique complexe \u00e0 l’int\u00e9rieur d’une garde peut entra\u00eener des perturbations de temps, ce qui est inacceptable dans les syst\u00e8mes temps r\u00e9el.<\/p>\n

          M\u00e9canismes d’\u00e9valuation des gardes<\/h3>\n

          Lorsqu’un \u00e9v\u00e9nement se produit, la machine \u00e0 \u00e9tats \u00e9value toutes les transitions sortantes de l’\u00e9tat actuel. Le processus d’\u00e9valuation suit g\u00e9n\u00e9ralement cet ordre :<\/p>\n

            \n
          1. Correspondance d’\u00e9v\u00e9nement :<\/strong> Identifier toutes les transitions d\u00e9clench\u00e9es par l’\u00e9v\u00e9nement.<\/li>\n
          2. \u00c9valuation de la garde :<\/strong> Pour chaque transition correspondante, \u00e9valuer l’expression de la garde.<\/li>\n
          3. R\u00e9solution de priorit\u00e9 :<\/strong> Si plusieurs gardes \u00e9valuent \u00e0 vrai, la transition ayant la priorit\u00e9 la plus \u00e9lev\u00e9e est choisie. La priorit\u00e9 est g\u00e9n\u00e9ralement d\u00e9termin\u00e9e par l’ordre de d\u00e9finition ou par une hi\u00e9rarchie explicite dans le mod\u00e8le.<\/li>\n
          4. Ex\u00e9cution\u00a0:<\/strong>Ex\u00e9cuter l’action de transition et entrer dans l’\u00e9tat cible.<\/li>\n<\/ol>\n

            Il est essentiel que les expressions de garde ne contiennent pas d’effets secondaires. Une garde ne doit v\u00e9rifier que l’\u00e9tat des variables, sans les modifier. Modifier des variables au sein d’une garde peut entra\u00eener un comportement impr\u00e9visible, en particulier si la m\u00eame variable est modifi\u00e9e par des interruptions concurrentes.<\/p>\n

            Temps et gardes<\/h3>\n

            Dans les environnements embarqu\u00e9s en temps r\u00e9el, le temps est un facteur critique. Les gardes int\u00e8grent souvent des v\u00e9rifications de temps pour \u00e9viter les oscillations rapides d’\u00e9tat. Un sch\u00e9ma courant est la logique de d\u00e9bouncing, o\u00f9 une garde garantit qu’un changement d’\u00e9tat n’a lieu que si une condition persiste pendant une dur\u00e9e sp\u00e9cifique.<\/p>\n

              \n
            • Exemple\u00a0:<\/strong> Une pression sur un bouton pourrait d\u00e9clencher une transition, mais la garde v\u00e9rifie temps_depuis_pression > 100\u00a0ms<\/code>.<\/li>\n
            • Avantage\u00a0:<\/strong> Cela emp\u00eache le basculement accidentel caus\u00e9 par le rebond m\u00e9canique.<\/li>\n<\/ul>\n

              De m\u00eame, les temporisateurs de surveillance (watchdog timers) reposent souvent sur des gardes de machine \u00e0 \u00e9tats. Si un \u00e9tat sp\u00e9cifique n’est pas quitt\u00e9 dans une fen\u00eatre de temps d\u00e9finie, une transition est forc\u00e9e vers un \u00e9tat de s\u00e9curit\u00e9. C’est une fonctionnalit\u00e9 de s\u00e9curit\u00e9 critique dans les dispositifs automobiles et m\u00e9dicaux.<\/p>\n

              Comparaison des strat\u00e9gies de transition et de garde<\/h3>\n\n\n\n\n\n\n\n\n
              Strat\u00e9gie<\/th>\nComplexit\u00e9<\/th>\nImpact sur les performances<\/th>\nCas d’utilisation<\/th>\n<\/tr>\n<\/thead>\n
              Garde bool\u00e9enne simple<\/td>\nFaible<\/td>\nN\u00e9gligeable<\/td>\nDrapeaux binaires, interrupteurs on\/off<\/td>\n<\/tr>\n
              Garde de v\u00e9rification de plage<\/td>\nMoyen<\/td>\nFaible<\/td>\nValeurs de conversion analogique-num\u00e9rique, seuils de capteurs<\/td>\n<\/tr>\n
              Garde d’historique d’\u00e9tat<\/td>\n\u00c9lev\u00e9<\/td>\nMoyen<\/td>\nLogique de r\u00e9cup\u00e9ration, modes d\u00e9pendants de l’historique<\/td>\n<\/tr>\n
              Garde bas\u00e9e sur un minuteur<\/td>\nMoyen<\/td>\nFaible<\/td>\n\u00c9limination des rebonds, gestion des d\u00e9lais d’attente<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

              Actions d’entr\u00e9e, de sortie et d’ex\u00e9cution \ud83c\udfd7\ufe0f<\/h2>\n

              Alors que les transitions d\u00e9placent le syst\u00e8me, les actions d’entr\u00e9e, de sortie et d’ex\u00e9cution d\u00e9finissent ce qui se produit \u00e0 l’int\u00e9rieur des \u00e9tats eux-m\u00eames. Ce sont les points d’ancrage qui permettent \u00e0 la machine \u00e0 \u00e9tats d’interagir avec l’environnement mat\u00e9riel et logiciel.<\/p>\n

              Actions d’entr\u00e9e<\/h3>\n

              Les actions d’entr\u00e9e sont ex\u00e9cut\u00e9es chaque fois que l’\u00e9tat est entr\u00e9. C’est l’endroit id\u00e9al pour initialiser les p\u00e9riph\u00e9riques mat\u00e9riels, d\u00e9finir les broches \u00e0 des tensions sp\u00e9cifiques ou allouer des ressources. Par exemple, l’entr\u00e9e dans un \u00e9tat tel queWifi_Connecting<\/em>d\u00e9clenchera l’initialisation de la pile r\u00e9seau et du mat\u00e9riel radio.<\/p>\n

                \n
              • Caract\u00e9ristique principale :<\/strong>Ex\u00e9cut\u00e9 une fois par transition vers l’\u00e9tat.<\/li>\n
              • Consid\u00e9ration embarqu\u00e9e :<\/strong>Assurez-vous que les actions d’entr\u00e9e ne bloquent pas. Les routines d’initialisation longues peuvent bloquer la boucle principale et provoquer des d\u00e9clenchements de temporisation de supervision.<\/li>\n<\/ul>\n

                Actions de sortie<\/h3>\n

                Les actions de sortie sont ex\u00e9cut\u00e9es avant de quitter un \u00e9tat. Cela est crucial pour les op\u00e9rations de nettoyage. Si un \u00e9tat d\u00e9tenait une ressource, telle qu’un descripteur de fichier ou un tampon m\u00e9moire, l’action de sortie doit la lib\u00e9rer pour \u00e9viter les fuites de m\u00e9moire ou les conflits mat\u00e9riels.<\/p>\n

                  \n
                • Caract\u00e9ristique principale :<\/strong>Ex\u00e9cut\u00e9 imm\u00e9diatement avant que la transition ne se produise.<\/li>\n
                • Consid\u00e9ration embarqu\u00e9e :<\/strong>Les actions de sortie doivent \u00eatre rapides. Retarder la sortie d’un \u00e9tat peut emp\u00eacher les interruptions d’\u00eatre trait\u00e9es, ce qui peut bloquer les \u00e9v\u00e9nements suivants.<\/li>\n<\/ul>\n

                  Actions d’ex\u00e9cution<\/h3>\n

                  Les actions d’ex\u00e9cution repr\u00e9sentent l’activit\u00e9 continue d’un \u00e9tat. Contrairement aux actions d’entr\u00e9e ou de sortie, les actions d’ex\u00e9cution ne sont pas d\u00e9clench\u00e9es par une transition, mais par le passage du temps \u00e0 l’int\u00e9rieur de l’\u00e9tat. Elles sont souvent utilis\u00e9es pour interroger des capteurs ou maintenir un signal de battement.<\/p>\n

                    \n
                  • Caract\u00e9ristique principale :<\/strong>Ex\u00e9cut\u00e9 p\u00e9riodiquement tant que l’\u00e9tat reste actif.<\/li>\n
                  • Consid\u00e9ration embarqu\u00e9e :<\/strong>Les actions d’ex\u00e9cution ne doivent pas monopoliser les cycles du processeur. Elles sont g\u00e9n\u00e9ralement impl\u00e9ment\u00e9es comme des rappels de minuteur ou dans une boucle principale de sondage.<\/li>\n<\/ul>\n

                    \u00c9tats historiques : Profond vs. Superficiel \ud83d\udd04<\/h2>\n

                    Les syst\u00e8mes embarqu\u00e9s complexes reviennent souvent vers des \u00e9tats apr\u00e8s un d\u00e9tour. Les \u00e9tats historiques permettent \u00e0 la machine de se souvenir de l’emplacement o\u00f9 elle se trouvait avant de quitter un \u00e9tat composite. Cela est essentiel pour les syst\u00e8mes qui doivent reprendre exactement l\u00e0 o\u00f9 ils s’\u00e9taient arr\u00eat\u00e9s apr\u00e8s une interruption br\u00e8ve.<\/p>\n

                    Historique superficiel<\/h3>\n

                    Un \u00e9tat historique superficiel se souvient du dernier \u00e9tat actifsous-\u00e9tat<\/em> \u00e0 l’int\u00e9rieur d’un \u00e9tat composite, mais pas les sous-sous-\u00e9tats. Si un \u00e9tat composite contient plusieurs sous-\u00e9tats, l’historique superficiel revient au dernier actif.<\/p>\n

                    Historique profond<\/h3>\n

                    Un \u00e9tat d’historique profond se souvient du dernier sous-\u00e9tat actif, y compris tous les sous-\u00e9tats imbriqu\u00e9s \u00e0 l’int\u00e9rieur. Cela est souvent n\u00e9cessaire pour les interfaces utilisateur complexes ou les \u00e9tats de protocole \u00e0 plusieurs niveaux.<\/p>\n

                      \n
                    • Cas d’utilisation :<\/strong> Un menu de configuration o\u00f9 l’utilisateur navigue profond\u00e9ment dans les param\u00e8tres. Si l’appareil red\u00e9marre, un \u00e9tat d’historique profond garantit que l’utilisateur est ramen\u00e9 \u00e0 l’\u00e9cran exact o\u00f9 il se trouvait, plut\u00f4t que vers le menu principal.<\/li>\n<\/ul>\n

                      Contraintes des syst\u00e8mes embarqu\u00e9s et optimisation \u2699\ufe0f<\/h2>\n

                      Concevoir des machines \u00e0 \u00e9tats pour les syst\u00e8mes embarqu\u00e9s n\u00e9cessite un changement de mentalit\u00e9 par rapport au logiciel g\u00e9n\u00e9ral. La taille m\u00e9moire, la profondeur de la pile et le temps d’ex\u00e9cution sont des ressources finies qui dictent les choix de conception.<\/p>\n

                      Efficacit\u00e9 m\u00e9moire<\/h3>\n

                      Les machines \u00e0 \u00e9tats peuvent \u00eatre impl\u00e9ment\u00e9es en logiciel \u00e0 l’aide de structures de donn\u00e9es (comme des tableaux ou des structs) ou g\u00e9n\u00e9r\u00e9es directement en code C. Dans les environnements \u00e0 contrainte m\u00e9moire, une approche pilot\u00e9e par les donn\u00e9es est souvent pr\u00e9f\u00e9r\u00e9e. Cela consiste \u00e0 d\u00e9finir une table de transition o\u00f9 chaque ligne contient l’\u00e9tat actuel, l’\u00e9v\u00e9nement, l’\u00e9tat suivant et un pointeur d’action.<\/p>\n

                        \n
                      • Avantages :<\/strong>R\u00e9duit la taille du code ; les modifications de logique n\u00e9cessitent uniquement des mises \u00e0 jour de table, pas de recompilation du code.<\/li>\n
                      • Inconv\u00e9nients :<\/strong>Surcharge de recherche l\u00e9g\u00e8rement plus \u00e9lev\u00e9e par rapport aux appels de fonctions directs.<\/li>\n<\/ul>\n

                        S\u00e9curit\u00e9 pile et interruptions<\/h3>\n

                        Les machines \u00e0 \u00e9tats tournent souvent dans la boucle principale, mais doivent r\u00e9pondre aux interruptions. Si une interruption d\u00e9clenche une transition d’\u00e9tat, la machine doit \u00eatre r\u00e9entrante. Cela signifie que la variable d’\u00e9tat doit \u00eatre mise \u00e0 jour de mani\u00e8re atomique pour \u00e9viter toute corruption si une interruption survient au milieu de la transition.<\/p>\n

                          \n
                        • Meilleure pratique :<\/strong> Utilisez des op\u00e9rations atomiques pour les mises \u00e0 jour d’\u00e9tat ou d\u00e9sactivez les interruptions pendant les sections critiques.<\/li>\n
                        • Avertissement :<\/strong> \u00c9vitez le nesting profond de fonctions dans les actions d’\u00e9tat pour \u00e9viter un d\u00e9passement de pile.<\/li>\n<\/ul>\n

                          D\u00e9terminisme en temps r\u00e9el<\/h3>\n

                          Dans les syst\u00e8mes temps r\u00e9el strict, le temps n\u00e9cessaire pour traiter une transition d’\u00e9tat doit \u00eatre born\u00e9. Une logique de garde complexe peut introduire des temps d’ex\u00e9cution variables. Pour att\u00e9nuer cela, les gardes doivent \u00eatre maintenues simples, et les transitions les plus critiques doivent \u00eatre prioritaires dans la g\u00e9n\u00e9ration de code.<\/p>\n

                          Strat\u00e9gies de d\u00e9bogage et de validation \ud83e\uddea<\/h2>\n

                          V\u00e9rifier la correction d’une machine \u00e0 \u00e9tats est souvent plus difficile que de v\u00e9rifier un code proc\u00e9dural standard. L’explosion combinatoire des \u00e9tats et des transitions rend le test exhaustif difficile.<\/p>\n

                          Validation du mod\u00e8le<\/h3>\n

                          Avant la g\u00e9n\u00e9ration de code, le mod\u00e8le lui-m\u00eame doit \u00eatre valid\u00e9. Des outils peuvent \u00eatre utilis\u00e9s pour v\u00e9rifier la pr\u00e9sence d’\u00e9tats inaccessibles, de transitions manquantes pour des \u00e9v\u00e9nements sp\u00e9cifiques, ou de d\u00e9pendances circulaires pouvant entra\u00eener des boucles infinies.<\/p>\n

                          Instrumentation<\/h3>\n

                          Les machines \u00e0 \u00e9tats embarqu\u00e9es n\u00e9cessitent une visibilit\u00e9. L’ajout de points d’ancrage de journalisation qui enregistrent l’entr\u00e9e, la sortie et les d\u00e9clencheurs de transition est une pratique courante. Toutefois, le journalisation doit \u00eatre l\u00e9g\u00e8re pour \u00e9viter d’impacter le timing.<\/p>\n

                            \n
                          • Technique :<\/strong> Utilisez un tampon circulaire en m\u00e9moire pour stocker les \u00e9v\u00e9nements d’\u00e9tat r\u00e9cents.<\/li>\n
                          • Acc\u00e8s\u00a0:<\/strong>R\u00e9cup\u00e9rez le tampon via une interface de d\u00e9bogage ou un UART lorsqu’une erreur se produit.<\/li>\n<\/ul>\n

                            G\u00e9n\u00e9ration de cas de test<\/h3>\n

                            La g\u00e9n\u00e9ration automatis\u00e9e de tests peut parcourir le graphe d’\u00e9tats pour s’assurer que chaque transition est ex\u00e9cut\u00e9e au moins une fois. Cela est particuli\u00e8rement utile pour les normes critiques pour la s\u00e9curit\u00e9, o\u00f9 une couverture de transition de 100\u00a0% est souvent exig\u00e9e.<\/p>\n

                            P\u00e9ch\u00e9s courants et anti-mod\u00e8les \ud83d\udeab<\/h2>\n

                            M\u00eame les ing\u00e9nieurs exp\u00e9riment\u00e9s peuvent tomber dans des pi\u00e8ges lors de la conception de machines \u00e0 \u00e9tats. Reconna\u00eetre ces mod\u00e8les t\u00f4t peut \u00e9viter de longues heures de d\u00e9bogage ult\u00e9rieurement.<\/p>\n

                              \n
                            • \u00c9tats spaghetti\u00a0:<\/strong>Avoir trop de transitions entre les \u00e9tats sans hi\u00e9rarchie claire. Cela rend le syst\u00e8me difficile \u00e0 maintenir. Utilisez des \u00e9tats hi\u00e9rarchiques pour regrouper les comportements connexes.<\/li>\n
                            • Couplage d’\u00e9tat global\u00a0:<\/strong>Compter sur des variables globales pour la logique d’\u00e9tat peut rendre le syst\u00e8me fragile. Encapsulez les donn\u00e9es d’\u00e9tat dans la structure de la machine \u00e0 \u00e9tats.<\/li>\n
                            • Transitions par d\u00e9faut manquantes\u00a0:<\/strong>Si un \u00e9v\u00e9nement n’est pas d\u00e9fini pour un \u00e9tat, le syst\u00e8me doit disposer d’un \u00e9tat de secours ou d’erreur d\u00e9fini. Ignorer les \u00e9v\u00e9nements peut entra\u00eener un comportement ind\u00e9fini.<\/li>\n
                            • Actions bloquantes\u00a0:<\/strong>Placer des appels longs sleep()<\/code> ou wait()<\/code>dans les actions d’entr\u00e9e. Ces appels doivent \u00eatre g\u00e9r\u00e9s par des temporisateurs afin que la machine \u00e0 \u00e9tats reste r\u00e9active.<\/li>\n<\/ul>\n

                              Consid\u00e9rations sur la s\u00e9curit\u00e9 et la fiabilit\u00e9 \ud83d\udee1\ufe0f<\/h2>\n

                              Dans des secteurs tels que l’automobile, l’a\u00e9rospatial et les dispositifs m\u00e9dicaux, les machines \u00e0 \u00e9tats font souvent partie de syst\u00e8mes critiques pour la s\u00e9curit\u00e9. Des normes comme ISO 26262 ou IEC 61508 peuvent s’appliquer, exigeant une documentation rigoureuse et une v\u00e9rification approfondie.<\/p>\n

                              \u00c9tats de s\u00e9curit\u00e9 par d\u00e9faut<\/h3>\n

                              Chaque machine \u00e0 \u00e9tats doit disposer d’un \u00e9tat de s\u00e9curit\u00e9 par d\u00e9faut d\u00e9sign\u00e9. C’est un \u00e9tat que le syst\u00e8me entre si une erreur critique est d\u00e9tect\u00e9e, comme une corruption de m\u00e9moire ou un d\u00e9passement du d\u00e9lai du watchdog. L’\u00e9tat de s\u00e9curit\u00e9 par d\u00e9faut doit \u00eatre stable et emp\u00eacher des dommages suppl\u00e9mentaires.<\/p>\n

                              Redondance<\/h3>\n

                              Dans les syst\u00e8mes \u00e0 haute fiabilit\u00e9, des machines \u00e0 \u00e9tats doubles peuvent \u00eatre ex\u00e9cut\u00e9es en parall\u00e8le. L’une agit comme ma\u00eetre, et l’autre comme v\u00e9rificateur. Si les sorties divergent, le syst\u00e8me d\u00e9clenche une mise hors tension s\u00e9curis\u00e9e.<\/p>\n

                              Feuille de route d’impl\u00e9mentation \ud83d\udee3\ufe0f<\/h2>\n

                              Le d\u00e9veloppement d’une machine \u00e0 \u00e9tats pour un produit embarqu\u00e9 suit une d\u00e9marche structur\u00e9e\u00a0:<\/p>\n

                                \n
                              1. Analyse des exigences\u00a0:<\/strong>D\u00e9finir tous les modes op\u00e9ratoires et \u00e9v\u00e9nements.<\/li>\n
                              2. Mod\u00e9lisation\u00a0:<\/strong>Cr\u00e9er le diagramme de machine \u00e0 \u00e9tats UML. Valider la logique avec les parties prenantes.<\/li>\n
                              3. G\u00e9n\u00e9ration de code :<\/strong>Utilisez un outil d’ing\u00e9nierie dirig\u00e9e par mod\u00e8le ou \u00e9crivez du code C manuellement en vous basant sur le diagramme.<\/li>\n
                              4. Tests unitaires :<\/strong>Testez les transitions individuelles et les conditions de garde de mani\u00e8re isol\u00e9e.<\/li>\n
                              5. Tests d’int\u00e9gration :<\/strong>Testez la machine \u00e0 \u00e9tats dans le contexte complet du syst\u00e8me, y compris les interactions avec le mat\u00e9riel.<\/li>\n
                              6. D\u00e9ploiement :<\/strong>Flasher sur le mat\u00e9riel et surveiller le comportement sur le terrain.<\/li>\n<\/ol>\n

                                Pens\u00e9es finales sur la gestion des \u00e9tats \ud83c\udfaf<\/h2>\n

                                Le diagramme de machine \u00e0 \u00e9tats reste l’un des outils les plus puissants dans l’arsenal de l’ing\u00e9nieur embarqu\u00e9. Il transforme les exigences abstraites en logique concr\u00e8te et v\u00e9rifiable. En d\u00e9finissant soigneusement les transitions et les conditions de garde, les ing\u00e9nieurs peuvent concevoir des syst\u00e8mes qui sont non seulement fonctionnels, mais aussi r\u00e9silients face \u00e0 la nature impr\u00e9visible des environnements r\u00e9els.<\/p>\n

                                \u00c0 mesure que les syst\u00e8mes deviennent plus complexes, la discipline de mod\u00e9liser avant de coder devient de plus en plus pr\u00e9cieuse. Une machine \u00e0 \u00e9tats bien con\u00e7ue r\u00e9duit la dette technique, simplifie le d\u00e9bogage et fournit une maquette claire pour la maintenance future. Que l’on g\u00e8re un capteur simple ou que l’on coordonne un processeur multi-c\u0153urs complexe, les principes d’\u00e9tat, de transition et de garde restent constants. La ma\u00eetrise de ces concepts garantit que le logiciel pilotant le mat\u00e9riel se comporte avec la pr\u00e9cision exig\u00e9e par les exigences modernes du g\u00e9nie.<\/p>\n","protected":false},"excerpt":{"rendered":"

                                Les syst\u00e8mes embarqu\u00e9s fonctionnent dans un monde d\u00e9fini par des \u00e9v\u00e9nements discrets et des contraintes continues. Contrairement aux syst\u00e8mes informatiques<\/p>\n","protected":false},"author":3479,"featured_media":11207,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_yoast_wpseo_title":"Analyse approfondie du diagramme de machine \u00e0 \u00e9tats : transitions et conditions de garde pour les syst\u00e8mes embarqu\u00e9s \u2699\ufe0f","_yoast_wpseo_metadesc":"Explorez les diagrammes de machine \u00e0 \u00e9tats UML pour les syst\u00e8mes embarqu\u00e9s. Guide d\u00e9taill\u00e9 sur les transitions, les conditions de garde et la gestion des \u00e9tats pour des applications temps r\u00e9el robustes.","fifu_image_url":"","fifu_image_alt":"","footnotes":""},"categories":[127],"tags":[163,101],"class_list":["post-11206","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-unified-modeling-language","tag-academic","tag-uml"],"yoast_head":"\nAnalyse approfondie du diagramme de machine \u00e0 \u00e9tats : transitions et conditions de garde pour les syst\u00e8mes embarqu\u00e9s \u2699\ufe0f<\/title>\n<meta name=\"description\" content=\"Explorez les diagrammes de machine \u00e0 \u00e9tats UML pour les syst\u00e8mes embarqu\u00e9s. Guide d\u00e9taill\u00e9 sur les transitions, les conditions de garde et la gestion des \u00e9tats pour des applications temps r\u00e9el robustes.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Analyse approfondie du diagramme de machine \u00e0 \u00e9tats : transitions et conditions de garde pour les syst\u00e8mes embarqu\u00e9s \u2699\ufe0f\" \/>\n<meta property=\"og:description\" content=\"Explorez les diagrammes de machine \u00e0 \u00e9tats UML pour les syst\u00e8mes embarqu\u00e9s. Guide d\u00e9taill\u00e9 sur les transitions, les conditions de garde et la gestion des \u00e9tats pour des applications temps r\u00e9el robustes.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/\" \/>\n<meta property=\"og:site_name\" content=\"ArchiMetric French\" \/>\n<meta property=\"article:published_time\" content=\"2026-04-09T19:32:01+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.archimetric.com\/fr\/wp-content\/uploads\/sites\/8\/2026\/04\/state-machine-diagram-embedded-systems-transitions-guards-infographic.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1664\" \/>\n\t<meta property=\"og:image:height\" content=\"928\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"archimetric@visual-paradigm.com\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u00c9crit par\" \/>\n\t<meta name=\"twitter:data1\" content=\"archimetric@visual-paradigm.com\" \/>\n\t<meta name=\"twitter:label2\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data2\" content=\"16 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/\"},\"author\":{\"name\":\"archimetric@visual-paradigm.com\",\"@id\":\"https:\/\/www.archimetric.com\/fr\/#\/schema\/person\/e4027c9f5b602fc705716009e5671d28\"},\"headline\":\"Analyse approfondie du diagramme d’\u00e9tats : d\u00e9codage des transitions et des conditions de garde pour les syst\u00e8mes embarqu\u00e9s\",\"datePublished\":\"2026-04-09T19:32:01+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/\"},\"wordCount\":3316,\"commentCount\":0,\"image\":{\"@id\":\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.archimetric.com\/fr\/wp-content\/uploads\/sites\/8\/2026\/04\/state-machine-diagram-embedded-systems-transitions-guards-infographic.jpg\",\"keywords\":[\"academic\",\"UML\"],\"articleSection\":[\"Unified Modeling Language\"],\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/\",\"url\":\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/\",\"name\":\"Analyse approfondie du diagramme de machine \u00e0 \u00e9tats : transitions et conditions de garde pour les syst\u00e8mes embarqu\u00e9s \u2699\ufe0f\",\"isPartOf\":{\"@id\":\"https:\/\/www.archimetric.com\/fr\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.archimetric.com\/fr\/wp-content\/uploads\/sites\/8\/2026\/04\/state-machine-diagram-embedded-systems-transitions-guards-infographic.jpg\",\"datePublished\":\"2026-04-09T19:32:01+00:00\",\"author\":{\"@id\":\"https:\/\/www.archimetric.com\/fr\/#\/schema\/person\/e4027c9f5b602fc705716009e5671d28\"},\"description\":\"Explorez les diagrammes de machine \u00e0 \u00e9tats UML pour les syst\u00e8mes embarqu\u00e9s. Guide d\u00e9taill\u00e9 sur les transitions, les conditions de garde et la gestion des \u00e9tats pour des applications temps r\u00e9el robustes.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#primaryimage\",\"url\":\"https:\/\/www.archimetric.com\/fr\/wp-content\/uploads\/sites\/8\/2026\/04\/state-machine-diagram-embedded-systems-transitions-guards-infographic.jpg\",\"contentUrl\":\"https:\/\/www.archimetric.com\/fr\/wp-content\/uploads\/sites\/8\/2026\/04\/state-machine-diagram-embedded-systems-transitions-guards-infographic.jpg\",\"width\":1664,\"height\":928},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.archimetric.com\/fr\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Analyse approfondie du diagramme d’\u00e9tats : d\u00e9codage des transitions et des conditions de garde pour les syst\u00e8mes embarqu\u00e9s\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.archimetric.com\/fr\/#website\",\"url\":\"https:\/\/www.archimetric.com\/fr\/\",\"name\":\"ArchiMetric French\",\"description\":\"EA, Dev Ops, Scrum, Agile and More\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.archimetric.com\/fr\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.archimetric.com\/fr\/#\/schema\/person\/e4027c9f5b602fc705716009e5671d28\",\"name\":\"archimetric@visual-paradigm.com\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.archimetric.com\/fr\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/de58c1924d83d002dbce0b79f74ba4b70e2f85238332df6cabc0227effdf470d?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/de58c1924d83d002dbce0b79f74ba4b70e2f85238332df6cabc0227effdf470d?s=96&d=mm&r=g\",\"caption\":\"archimetric@visual-paradigm.com\"},\"url\":\"https:\/\/www.archimetric.com\/fr\/author\/archimetricvisual-paradigm-com\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Analyse approfondie du diagramme de machine \u00e0 \u00e9tats : transitions et conditions de garde pour les syst\u00e8mes embarqu\u00e9s \u2699\ufe0f","description":"Explorez les diagrammes de machine \u00e0 \u00e9tats UML pour les syst\u00e8mes embarqu\u00e9s. Guide d\u00e9taill\u00e9 sur les transitions, les conditions de garde et la gestion des \u00e9tats pour des applications temps r\u00e9el robustes.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/","og_locale":"fr_FR","og_type":"article","og_title":"Analyse approfondie du diagramme de machine \u00e0 \u00e9tats : transitions et conditions de garde pour les syst\u00e8mes embarqu\u00e9s \u2699\ufe0f","og_description":"Explorez les diagrammes de machine \u00e0 \u00e9tats UML pour les syst\u00e8mes embarqu\u00e9s. Guide d\u00e9taill\u00e9 sur les transitions, les conditions de garde et la gestion des \u00e9tats pour des applications temps r\u00e9el robustes.","og_url":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/","og_site_name":"ArchiMetric French","article_published_time":"2026-04-09T19:32:01+00:00","og_image":[{"width":1664,"height":928,"url":"https:\/\/www.archimetric.com\/fr\/wp-content\/uploads\/sites\/8\/2026\/04\/state-machine-diagram-embedded-systems-transitions-guards-infographic.jpg","type":"image\/jpeg"}],"author":"archimetric@visual-paradigm.com","twitter_card":"summary_large_image","twitter_misc":{"\u00c9crit par":"archimetric@visual-paradigm.com","Dur\u00e9e de lecture estim\u00e9e":"16 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#article","isPartOf":{"@id":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/"},"author":{"name":"archimetric@visual-paradigm.com","@id":"https:\/\/www.archimetric.com\/fr\/#\/schema\/person\/e4027c9f5b602fc705716009e5671d28"},"headline":"Analyse approfondie du diagramme d’\u00e9tats : d\u00e9codage des transitions et des conditions de garde pour les syst\u00e8mes embarqu\u00e9s","datePublished":"2026-04-09T19:32:01+00:00","mainEntityOfPage":{"@id":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/"},"wordCount":3316,"commentCount":0,"image":{"@id":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#primaryimage"},"thumbnailUrl":"https:\/\/www.archimetric.com\/fr\/wp-content\/uploads\/sites\/8\/2026\/04\/state-machine-diagram-embedded-systems-transitions-guards-infographic.jpg","keywords":["academic","UML"],"articleSection":["Unified Modeling Language"],"inLanguage":"fr-FR","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/","url":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/","name":"Analyse approfondie du diagramme de machine \u00e0 \u00e9tats : transitions et conditions de garde pour les syst\u00e8mes embarqu\u00e9s \u2699\ufe0f","isPartOf":{"@id":"https:\/\/www.archimetric.com\/fr\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#primaryimage"},"image":{"@id":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#primaryimage"},"thumbnailUrl":"https:\/\/www.archimetric.com\/fr\/wp-content\/uploads\/sites\/8\/2026\/04\/state-machine-diagram-embedded-systems-transitions-guards-infographic.jpg","datePublished":"2026-04-09T19:32:01+00:00","author":{"@id":"https:\/\/www.archimetric.com\/fr\/#\/schema\/person\/e4027c9f5b602fc705716009e5671d28"},"description":"Explorez les diagrammes de machine \u00e0 \u00e9tats UML pour les syst\u00e8mes embarqu\u00e9s. Guide d\u00e9taill\u00e9 sur les transitions, les conditions de garde et la gestion des \u00e9tats pour des applications temps r\u00e9el robustes.","breadcrumb":{"@id":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#primaryimage","url":"https:\/\/www.archimetric.com\/fr\/wp-content\/uploads\/sites\/8\/2026\/04\/state-machine-diagram-embedded-systems-transitions-guards-infographic.jpg","contentUrl":"https:\/\/www.archimetric.com\/fr\/wp-content\/uploads\/sites\/8\/2026\/04\/state-machine-diagram-embedded-systems-transitions-guards-infographic.jpg","width":1664,"height":928},{"@type":"BreadcrumbList","@id":"https:\/\/www.archimetric.com\/fr\/state-machine-diagram-deep-dive-transitions-guards-embedded\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.archimetric.com\/fr\/"},{"@type":"ListItem","position":2,"name":"Analyse approfondie du diagramme d’\u00e9tats : d\u00e9codage des transitions et des conditions de garde pour les syst\u00e8mes embarqu\u00e9s"}]},{"@type":"WebSite","@id":"https:\/\/www.archimetric.com\/fr\/#website","url":"https:\/\/www.archimetric.com\/fr\/","name":"ArchiMetric French","description":"EA, Dev Ops, Scrum, Agile and More","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.archimetric.com\/fr\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"},{"@type":"Person","@id":"https:\/\/www.archimetric.com\/fr\/#\/schema\/person\/e4027c9f5b602fc705716009e5671d28","name":"archimetric@visual-paradigm.com","image":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.archimetric.com\/fr\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/de58c1924d83d002dbce0b79f74ba4b70e2f85238332df6cabc0227effdf470d?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/de58c1924d83d002dbce0b79f74ba4b70e2f85238332df6cabc0227effdf470d?s=96&d=mm&r=g","caption":"archimetric@visual-paradigm.com"},"url":"https:\/\/www.archimetric.com\/fr\/author\/archimetricvisual-paradigm-com\/"}]}},"_links":{"self":[{"href":"https:\/\/www.archimetric.com\/fr\/wp-json\/wp\/v2\/posts\/11206","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.archimetric.com\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.archimetric.com\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.archimetric.com\/fr\/wp-json\/wp\/v2\/users\/3479"}],"replies":[{"embeddable":true,"href":"https:\/\/www.archimetric.com\/fr\/wp-json\/wp\/v2\/comments?post=11206"}],"version-history":[{"count":0,"href":"https:\/\/www.archimetric.com\/fr\/wp-json\/wp\/v2\/posts\/11206\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.archimetric.com\/fr\/wp-json\/wp\/v2\/media\/11207"}],"wp:attachment":[{"href":"https:\/\/www.archimetric.com\/fr\/wp-json\/wp\/v2\/media?parent=11206"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.archimetric.com\/fr\/wp-json\/wp\/v2\/categories?post=11206"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.archimetric.com\/fr\/wp-json\/wp\/v2\/tags?post=11206"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}