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, orientées objets et synchrones seront présentées.

Enfin, les aspects vérification, analyse de performance et sûreté de fonctionnement seront abordés.

Objectifs

- être capable d'analyser les besoins logiciels d'applications temps réel

- acquérir les connaissances nécessaires pour leur développement

Public concerné

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

Connaissances requises

Connaissances de base en programmation

Méthodes pédagogiques

- conférences

- travaux pratiques dirigés

 

 

Autres formations traitant de sujets connexes

- TG04 - Modélisation et analyse des systèmes temps réel et embarqués avec UML et le profil MARTE

- SG10 - Sûreté de fonctionnement des systèmes informatiques

- TG03 - Informatique embarquée et méthodologie de développement

 

Dernière mise à jour le 04/05/2012 par Supélec - Formation Continue