[{"command":"insert","method":null,"selector":".course-modal-ajax-placeholder-958050","data":"\u003Cdiv class=\u0022container content-rte\u0022\u003E\n  \u003Cdiv class=\u0022row\u0022\u003E\n    \u003Cdiv class=\u0022box col-md-6 bg-primary text-white\u0022\u003E\n      \u003Ch2 class=\u0022h1 text-left\u0022\u003E  M\u00e9thodes et outils pour l\u0026#039;\u00e9limination des fautes\n\u003C\/h2\u003E\n                  \u003Cdiv class=\u0022field-spacing\u0022\u003E\n        \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EECTS :\n          3\n        \u003C\/div\u003E\n      \u003C\/div\u003E\n                  \u003Cdiv class=\u0022field-spacing\u0022\u003E\n        \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ESemestre calendaire :\n          Semester 1\n        \u003C\/div\u003E\n      \u003C\/div\u003E\n            \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ED\u00e9tail du volume horaire\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                          \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003ECours magistraux :\u003C\/span\u003E\n                                      \u003Cspan\u003E12\u003C\/span\u003E\n                      \u003C\/div\u003E\n                                \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                          \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003ETravaux pratiques :\u003C\/span\u003E\n                                      \u003Cspan\u003E18\u003C\/span\u003E\n                      \u003C\/div\u003E\n                                                                          \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ELangue d\u0026#039;enseignement\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003EFran\u00e7ais\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EEnseignement \u00e0 distance\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003Enon\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n      \u003C\/div\u003E\n    \u003Cdiv class=\u0022box col-md-6\u0022\u003E\n            \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EPr\u00e9requis\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cul\u003E\n\u003Cli\u003EConnaissances de base sur la mod\u00e9lisation des Syst\u00e8mes \u00e0 \u00c9v\u00e9nements Discrets (UE \u00ab Mod\u00e9lisation \u00c9v\u00e9nementielle\u00bb)\u003C\/li\u003E\n\u003C\/ul\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EProgramme \/ plan \/ contenus\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003E\u00c9tude des diff\u00e9rentes techniques permettant d\u2019\u00e9liminer des fautes lors des phases de conception et de validation :\u003C\/p\u003E\n\u003Cp\u003E\u003Cstrong\u003EConcepts et techniques de model-checking pour l\u0027\u00e9limination de fautes (CM : 8h, BE : 8h)\u003C\/strong\u003E\u003Cbr\u003E\nDans les mod\u00e8les du syst\u00e8me de commande :\u003Cbr\u003E\npar simulation de mod\u00e8les d\u00e9terministes ou stochastiques (m\u00e9thode de Monte-Carlo)\u003Cbr\u003E\npar exploration exhaustive de l\u2019espace d\u2019\u00e9tats gr\u00e2ce au Model-Checking).\u003C\/p\u003E\n\u003Cp\u003E\u003Cstrong\u003EConcepts et techniques pour la g\u00e9n\u00e9ration de tests pour la validation et la certification (CM : 4h, BE : 8h)\u003C\/strong\u003E\u003Cbr\u003E\nDans le programme de contr\u00f4le impl\u00e9ment\u00e9 dans l\u2019unit\u00e9 de commande par des tests de conformit\u00e9\u003C\/p\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EObjectifs d\u0026#039;apprentissage\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003EL\u2019objectif de cette UE est d\u2019\u00e9tudier diff\u00e9rentes techniques permettant d\u2019\u00e9liminer des fautes lors des phases de conception et de validation :\u0026nbsp;dans les mod\u00e8les du syst\u00e8me de commande ainsi que dans le programme de contr\u00f4le impl\u00e9ment\u00e9 dans l\u2019unit\u00e9 de commande.\u003C\/p\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EOrganisation g\u00e9n\u00e9rale et modalit\u00e9s p\u00e9dagogiques\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003ELes s\u00e9ances de bureaux d\u0027\u00e9tudes sont consacr\u00e9es au traitement d\u2019\u00e9tudes de cas \u00e0 l\u2019aide de plateformes logicielles ou exp\u00e9rimentales adapt\u00e9es.\u003C\/p\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n                \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EComp\u00e9tences\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cul\u003E\n\u003Cli\u003EMettre en \u0153uvre des outils de simulation, de v\u00e9rification et validation sur des mod\u00e8les\u003C\/li\u003E\n\u003Cli\u003EMettre en \u0153uvre des outils de test sur des composants de contr\u00f4le\/commande\u003C\/li\u003E\n\u003C\/ul\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EBibliographie\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cul\u003E\n\u003Cli\u003EThe temporal logic of reactive and concurrent systems, A. Pnuelli and Z. Manna, Communication network, Springer, 1992\u003C\/li\u003E\n\u003Cli\u003ELinear Temporal Logic Symbolic Model Checking, Kristin Y. Rozier, Computer Science Review, Elsevier, 2010\u003C\/li\u003E\n\u003Cli\u003ESystems and Software Verification, Model-Checking Techniques and Tools, B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, Springer 2001\u003C\/li\u003E\n\u003Cli\u003ELa simulation de Monte Carlo, B. Tuffin, Hermes, 2010\u003C\/li\u003E\n\u003C\/ul\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ENature de l\u0026#039;\u00e9valuation\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003EEvaluation Continue non Int\u00e9grale\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n      \u003C\/div\u003E\n  \u003C\/div\u003E\n\u003C\/div\u003E\n","settings":null}]