Systèmes temps réel pour applications embarquées et industrielles

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.