Bernard PAULY : Ingénieur, ex Thales-ATM
Session 1
28 Septembre au 2 Octobre 2026
5 jours (30 heures)
Cette formation permettra aux auditeurs d’acquérir des connaissances sur l’ensemble des techniques à mettre en oeuvre (logiciel et matériel) depuis la définition jusqu’à la vérification/ validation des systèmes informatiques Temps Réel dans un contexte critique. Cette introduction aux systèmes informatiques en temps réel critique a pour but de fournir aux ingénieurs et aux techniciens non spécialisés dans le domaine du temps réel et de la sûreté de fonctionnement, des informations sur un état de l’art du domaine pour maîtriser leurs projets et dialoguer avec les spécialistes.
Ce stage est une introduction aux systèmes informatiques en temps réel critique. Les concepts de base du temps réel sont abordés ainsi que ceux de la sûreté de fonctionnement. Un exemple d’implémentation d’un Système d’exploitation temps réel critique sera présenté en détail afin d’illustrer l’importance de certains concepts, tels que déterminisme, Ordonnancement, distribution, tolérance aux fautes…
Quelques spécificités de standardisation sont également évoquées en vue d’illustrer différentes approches de conformité aux contraintes du “temps réel sûr”.
Le stage dure 5 jours (30 heures).
