Contexte

Les systèmes temps réel, pour des applications embarquées ou industrielles, se caractérisent par une forte interaction avec leur environnement qui impose des contraintes temporelles sur leurs activités.
Il est important d'assurer, pour ces systèmes, un comportement prévisible et sûr tant d'un point de vue logique que d'un point de vue temporel. Des solutions originales et spécifiques au temps réel sont donc nécessaires, en particulier, en termes de modélisation et de structuration de l'application logicielle ainsi que dans les techniques d'ordonnancement et de vérification.

La première partie de cette formation est consacrée aux rappels des différents principes et techniques de réalisation des applications temps réel et aux services fournis par les systèmes d'exploitation qui leur sont dédiés.
La deuxième partie est consacrée à la spécification et modélisation des systèmes temps réel. Les approches fonctionnelles et synchrones seront présentées.
Enfin, les aspects vérification, analyse de performance et sûreté de fonctionnement seront abordés.

ObjectifS

A l'issue de cette formation, le participant sera en capacité de :

- ANALYSER les besoins logiciels d'applications temps réel.
- MAITRISER les connaissances nécessaires pour leur développement.

PROGRAMME

• Problématique des systèmes temps réel
  - Introduction aux systèmes temps réel.
  - Parallélisme, concurrence, coopération.
  - Mode bouclé, mode interruption, mode multitâches.
  - Activité de développement.
• Systèmes d'exploitation (OS) temps réel
  - OS temps réel, gestion du multitâche.
  - Synchronisation et communication.
  - Exemples de RTOS : VxWorks, µC/OS.
• Spécification des systèmes temps réel
  
• Approches Synchrones
  - Langages synchrones (Esterel, signal), Statecharts.
• Analyse des performances et sûreté de fonctionnement
  - Techniques d'ordonnancement.
  - Validation logique et temporelle.
  - Sûreté de fonctionnement.
• Mise en œuvre d'une application temps réel
  - Conception, développement et validation sous VxWorks.

Pré-requis

- Connaissances de base en programmation.

- Procédure d’admission à cette formation :
Entretien téléphonique avec le/la chargé/e d’affaires pour comprendre vos attentes et votre projet professionnel en lien avec la formation visée.
Envoi de votre CV et/ou lettre de motivation au/à la chargé/e d’affaires puis transmission au responsable pédagogique du parcours qui étudie votre candidature et valide ou non les prérequis nécessaires à la formation. Retour sous 5 jours ouvrés.
Si votre candidature est validée, vous pouvez procéder à votre inscription via le bulletin d’inscription transmis par le/la chargé/e d’affaires.

public concerné

Ingénieurs et techniciens devant concevoir et réaliser des systèmes temps réel.

en pratique

Méthodes pédagogiques

Apports théoriques.
Travaux pratiques dirigés.

Moyens pédagogiques

Mise en pratique en laboratoire.

Modalités d'évaluation

L'évaluation des connaissances acquises en formation s'appuie sur la réalisation de mise en situation et des études de cas mises en oeuvre par le formateur.

Statistiques

97%
de satisfaction globale pour 399 formations
(sur un panel de 2177 répondants sur les 4732 participants en 2022)

99,2%
de satisfaction globale relative aux formateurs en 2022 pour 399 formations
(sur un panel de 2177 répondants sur 4732 participants en 2022)