Spécification et validation temps-réel

ECTS

6.0

Présentation

Cet enseignement concerne les aspects avancés du développement sûr de programmes embarqués temps réel pour des systèmes critiques, et les spécificités des logiciels temps réel.

Modélisation temporelle à base de réseaux de Petri.
Sûreté de fonctionnement
Spécificité des systèmes d'exploitation temps réel par rapport aux systèmes d'exploitation généralistes
Un RTOS flexible et puissant, basé événements : la norme POSIX Pthread
Un RTOS léger mais statique : la norme Osek - AUTOSAR
Un RTOS propriétaire basé sur le temps : VxWorks
Validation temporelle des applications temps réel : notions de complexité algorithmique, calcul de WCET, calcul de temps de réponse en priorités fixes aux tâches, optimalité et priorités, prise en compte de ressources et protocoles à priorités plafond et immédiat, contraintes de précédence ; ordonnancement basé sur les échéances ; ordonnancement multiprocesseur ; ordonnancement réparti

Objectifs

Savoir implémenter un système temps réel sur différents types de RTOS à partir d'une conception. Savoir choisir un RTOS en fonction du domaine. Savoir modéliser et valider les performances temps réel d'un système.

Compétences visées

- Modéliser, concevoir et mettre en œuvre un système analogique et/ou numérique complexe sur RTOS
- Connaître les spécificités des RTOS
- Savoir programmer sur un RTOS basé sur les événements
- Savoir programmer sur un RTOS basé sur le temps
- Appliquer une validation de performances sur un système temps réel centralisé
- Appliquer une validation de performances sur un système temps réel réparti

Diplômes intégrant cette UE

Composante

Etudiants internationaux

Ouvert aux étudiants en échange
Logo

Nous contacter

15, rue de l'Hôtel Dieu
TSA 71117
86073 POITIERS Cedex 9 - France
Tél : (33) (0)5 49 45 30 00
Fax: (33) (0)5 49 45 30 50

Réseaux sociaux