[{"command":"insert","method":null,"selector":".course-modal-ajax-placeholder-959661","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  Architecture temps r\u00e9el certifiable\n\u003C\/h2\u003E\n                  \u003Cdiv class=\u0022field-spacing\u0022\u003E\n        \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EECTS :\n          2\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          Annualis\u00e9\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\u003E8\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\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 dirig\u00e9s :\u003C\/span\u003E\n                                      \u003Cspan\u003E10\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\u003EModule L3 informatique industrielle\u003C\/li\u003E\n\u003Cli\u003EModule M1 architecture des syst\u00e8mes embarqu\u00e9s\u003C\/li\u003E\n\u003Cli\u003EModule M1 syst\u00e8mes temps r\u00e9el\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\u003EChapitre 1. Fondamentaux des syst\u00e8mes temps r\u00e9el embarqu\u00e9s.\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003EPOSIX temps r\u00e9el, APIs, gestion des d\u00e9lais.\u003C\/li\u003E\n\u003Cli\u003EMise en \u0153uvre d\u2019un noyau minimal p\u00e9riodique en C. Simulation sur STM32 sous FreeRTOS.\u003C\/li\u003E\n\u003C\/ul\u003E\n\u003Cp\u003EChapitre 2. Ordonnancement temps r\u00e9el et analyse de faisabilit\u00e9\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003EAlgorithmes : Rate Monotonic, Deadline Monotonic, Earliest Deadline First.\u003C\/li\u003E\n\u003Cli\u003EInterf\u00e9rences, pr\u00e9emptions, inversions de priorit\u00e9.\u003C\/li\u003E\n\u003Cli\u003EAnalyse WCET (Worst-Case Execution Time) et RTA (Response Time Analysis).\u003C\/li\u003E\n\u003Cli\u003EProtocole d\u2019acc\u00e8s : PIP, PCP, SRP.\u003C\/li\u003E\n\u003Cli\u003EActivit\u00e9 : ordonnancement mono\/multic\u0153ur, impl\u00e9mentation d\u2019ordonnancement fixe, calcul RTA, analyse de non-faisabilit\u00e9 (Deadline Miss), mesure sur microcontr\u00f4leur r\u00e9el.\u003C\/li\u003E\n\u003C\/ul\u003E\n\u003Cp\u003EChapitre 3. M\u00e9moire partag\u00e9e et synchronisation s\u00fbre\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003EAcc\u00e8s m\u00e9moire : MPU\/MMU, coh\u00e9rence cache, barri\u00e8res m\u00e9moire.\u003C\/li\u003E\n\u003Cli\u003ECommunication inter-processus : files sans verrou (lock-free), ring buffers, queues.\u003C\/li\u003E\n\u003Cli\u003ESynchronisation : mutex, s\u00e9maphores, protocoles d\u2019acc\u00e8s m\u00e9moire s\u00fbrs.\u003C\/li\u003E\n\u003Cli\u003EActivit\u00e9 : \u00e9tude des probl\u00e8mes de producteur-consommateur. Impl\u00e9mentation avec et sans verrou, analyse des risques d\u2019interblocage et solutions (PCP, lock-free).\u003C\/li\u003E\n\u003C\/ul\u003E\n\u003Cp\u003EChapitre 4. Normes de certification et s\u00fbret\u00e9 de fonctionnement\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003EISO 26262 : ASIL, V\u0026amp;V, AUTOSAR Classic, OSEK OS.\u003C\/li\u003E\n\u003Cli\u003EDO-178C, RTCA DO-297, objectifs de certification, Design Assurance Level.\u003C\/li\u003E\n\u003Cli\u003ENotions : MC\/DC (Modified Condition\/Decision Coverage\u003C\/li\u003E\n\u003Cli\u003EActivit\u00e9 : \u00e9tude cas AUTOSAR\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\u003EObjectifs d\u0026#039;apprentissage\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cul\u003E\n\u003Cli\u003EAppliquer les m\u00e9thodes d\u2019ordonnancement d\u00e9terministe et d\u2019analyse du pire cas pour garantir le respect des contraintes temporelles.\u003C\/li\u003E\n\u003Cli\u003EIdentifier les m\u00e9canismes s\u00fbrs d\u2019acc\u00e8s m\u00e9moire partag\u00e9e, de communication inter-processus et de gestion de ressources.\u003C\/li\u003E\n\u003Cli\u003EInt\u00e9grer les standards de s\u00fbret\u00e9 et de certification tels que ISO 26262, AUTOSAR, DO-178C ou ARINC 653 dans la conception logicielle.\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\u003EComp\u00e9tences\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003EL\u2019\u00e9tudiant sera capable de :\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003EMod\u00e9liser un syst\u00e8me temps r\u00e9el avec ses t\u00e2ches, \u00e9ch\u00e9ances, priorit\u00e9s, et contraintes d\u2019ex\u00e9cution.\u003C\/li\u003E\n\u003Cli\u003EImpl\u00e9menter un ordonnancement fixe ou dynamique et en \u00e9valuer la faisabilit\u00e9 par analyse de WCET\/RTA.Concevoir une communication inter-t\u00e2ches s\u00fbre via m\u00e9moire partag\u00e9e, files circulaires, ou buffers sans verrou.\u003C\/li\u003E\n\u003Cli\u003EConfigurer une architecture logicielle certifiable selon les normes ISO 26262 (automobile) et DO-178C \/ ARINC 653 (a\u00e9ronautique).\u003C\/li\u003E\n\u003Cli\u003EMettre en \u0153uvre un noyau temps r\u00e9el l\u00e9ger (FreeRTOS ou Osek) et exp\u00e9rimenter le partitionnement avec Jailhouse.\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\u003EJane W. S. Liu, Real-Time Systems, Pearson, 2000\u003C\/li\u003E\n\u003Cli\u003EAlan Burns, Real Time Systems and Programming Languages, Addison Wesley, 2001\u003C\/li\u003E\n\u003Cli\u003EYu-Chu Tian, Handbook of Real-Time Computing, Springer, 2022\u003C\/li\u003E\n\u003Cli\u003EHossam Soffar, AUTOSAR Fundamentals and Applications, Packt Publishing, 2024\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}]