Description de la formation
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.
Prochaines sessions
Objectifs visés
- ANALYSER les besoins logiciels d'applications temps réel.
- MAITRISER les connaissances nécessaires pour leur développement.
Contenu
- 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.
Public Cible
Prérequis
- 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.
Faire une demande
CentraleSupélec Exed : Trois parcours de formation pour se spécialiser et développer les talents de l'entreprise
CentraleSupélec Exed est un organisme de formation certifié Qualiopi spécialisé dans les programmes Executive Education et les Mastère Spécialisé®. Il est directement dépendant de la grande École d'ingénieurs du même nom, CentraleSupélec. Avec ses différentes formations, CentraleSupélec Exed propose à ses...
Apprenez-en plus sur l'organisme et découvrez toutes leurs formations