• Introduire et motiver les systèmes temps réel et embarqués et leurs caractéristiques principales.
• Connaitre le paradigme de la concurrence et parallélisme ainsi que les problématiques associées et leurs solutions.
• Acquérir une expérience avec la programmation de systèmes temps réel et embarqués.
• Acquérir une expérience initiale avec les langages de modélisation standards des systèmes temps réel.
• Étudier les techniques d’analyse de systèmes temps réels.
• Initier l’étudiant à la recherche dans le contexte de la modélisation, analyse et implémentation des systèmes temps réels.

Le cours sera présenté sous forme d’exposés magistraux et d'exercices pratiques d'application. Le volet  théorique du cours est complémenté par un laboratoire pratique ainsi que l’utilisation d’outils de modélisation et d’analyse de systèmes temps réel. L’étudiant sera exposé à l’expérience pratique d’un expert de l’industrie.

On présente à l’étudiant les notions de systèmes temps réel et leurs caractéristiques principales telles que les contraintes de temps, la criticité, la distribution, la concurrence et le parallélisme.

L'étudiant est initié dans ce cours à la programmation de systèmes temps réel et embarqués par la biais de laboratoires pratiques.

L’étudiant est initié dans ce cours à la modélisation des systèmes temps réel en utilisant des langages de modélisation standards appropriés.

L’étudiant sera aussi exposé à des techniques d’analyse afin de procéder à des vérifications formelles des modèles de systèmes temps réel. En particulier, on présente les techniques d’analyse d’ordonnancement et d’estimation du temps de réponses au pire cas.

Le contenu du cours est structuré comme suit :

• Introduction aux systèmes temps réel et embarqués et leurs caractéristiques
• Concurrence et parallélisme dans les systèmes temps réel
• Mécanismes et outils de synchronisation
• Problèmes d’inter-blocage et approches de solutions
• Protocoles d’accès aux ressources
• Méthodes, langages et outils de modélisation de systèmes temps réel
• Techniques d’analyse d’ordonnancement et d’estimation de temps de réponses des systèmes temps réel

• Travail  de recherche  25 %

Lecture critique d’un article de recherche sur la modélisation, analyse, et implémentation de systèmes temps réel et embarqués. Les articles sont proposés par le professeur. Dans ce travail, l’étudiant doit lire, analyser et remettre un rapport de synthèse et une présentation orale en classe.

• Laboratoire  25 % 

L’objectif de ce laboratoire est d'acquérir une première expérience pratique avec  la programmation des systèmes temps réel et embarqués. Dans ce laboratoire une plateforme matérielle embarquée ainsi qu'une plateforme logicielle adéquate (un système d'exploitation temps réel) et des outils de développement requise seront utilisés. Les étudiants seront familiarisés avec ces plateformes et outils et réaliseront deux laboratoires en équipes.

• Examen Intra    25 % 
• Examen Final    25 % 

Tout travail remis en retard se verra automatiquement attribuer la note zéro.

Afin de faire valider une absence à une évaluation en vue d’obtenir un examen de compensation, l’étudiante ou l’étudiant doit utiliser le formulaire prévu à cet effet dans son portail MonÉTS pour un examen final qui se déroule durant la période des examens finaux ou pour tout autre élément d’évaluation surveillé de 15% et plus durant la session. Si l’absence concerne un élément d’évaluation de moins de 15% durant la session, l’étudiant ou l’étudiante doit soumettre une demande par écrit à son enseignante ou enseignant.

Toute demande de validation d’absence doit se faire dans les cinq (5) jours ouvrables suivant la tenue de l’évaluation, sauf dans les cas d’une absence pour participation à une activité prévue aux règlements des études où la demande doit être soumise dans les cinq (5) jours ouvrables avant le jour de départ de l’ÉTS pour se rendre à l’activité.

Toute absence non justifiée par un motif majeur (voir articles 7.2.6.1 du RÉPC et 6.5.2 du RÉCS) entraînera l’attribution de la note zéro (0).

• Alan Burns and Andy Wellings, (2009) “Real-Time Systems and Programming Languages”, 4th edition, Addison-Wesley, 2009, ISBN 978-0-321-41745-9

• Peter H. Feiler, David P. Gluch, (2012) “Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language”, 1st Edition, Professional. SEI Series in Software Engineering, Addison-Wesley Professional, ISBN-13: 978-0-321-88894-5
• Phillip A. Laplante and Seppo J. Ovaska, (2012) “Real-Time Systems Design and Analysis”, Fourth Edition, John Wiley & Sons/IEEE Press
• Giorgio C. Buttazzo (2011) HARD “REAL-TIME COMPUTING SYSTEMS: Predictable Scheduling Algorithms and Applications”, Third Edition, Springer.
• Hermann Kopetz, (2011) “Real-Time Systems” 2nd edition, Springer, ISBN 978-1-4419-8236-0
• Douglass, Bruce Powel (1999) “Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks and Patterns,” Addison-Wesley Professional, ISBN-13: 978-0321774934
• Gomaa, H. (2000) “Designing Concurrent, Distributed and Real-Time Applications in UML,” Addison-Wesley, ISBN 9780201657937
• Lee, P. A. and Anderson, T. (1990) “Fault Tolerance - Principles and Practice,” 2nd edition, Springer Verlag, ISBN: 9783211820773

Sur la platefome Moodle de ETS : MGL849 - H2025