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.
85/100
Taux de satisfaction globale pour 389 formations
(sur un panel de 1531 répondants sur les 4140 participants en 2023)
89/100
de satisfaction globale relative aux formateurs en 2023 pour 389 formations
(sur un panel de 1531 répondants sur les 4140 participants en 2023)
+33 (0)1 75 31 60 06