Systèmes temps réel embarqués
Nantes - Le jeudi 18 novembre 2004 (10h à 17:00h)
Thème abordé
Les systèmes dits temps réel sont non seulement soumis à des contraintes de correction fonctionnelle, mais également à des contraintes temporelles plus ou moins fortes (temps réel strict ou souple). Ceci nécessite non seulement des méthodes de validation spécifiques du comportement temporel de ces système, mais aussi un support exécutif (système d'exploitation, support d'exécution ) adapté, les supports exécutifs généralistes trouvant leurs limites pour ce type de système. Par ailleurs, les contraintes de temps réel sont souvent associées à des contraintes d'embarquabilité (systèmes à faible capacités de calcul, de mémoire ou d'énergie).
Cette journée thématique se propose d'effectuer un tour d'horizon des systèmes d'exploitation (ou plus généralement supports d'exécution) adaptés aux applications temps réel embarquées, entre autres :
- Noyaux temps-réel
- Posix 1003.1b-c (extension temps réel de Posix)
- Linux temps-réel
- Ordonnancement adaptatif
- Java et le temps réel
- Les besoins en termes de systèmes d'exploitation dans les systèmes reconfigurables
Programme de la journée
| 09h15-09h40 | Accueil | ||
| 09h40-10h10 | Introduction au temps réel Jean-Pierre Elloy, IRCCyN/ECN | Résumé | |
| 10h10-10h55 | Noyaux temps réel : les services OSEK/VDX dans l'automobile Yvon Trinquet, IRCCyN/IUT de Nantes | Résumé | |
| 10h55-11h20 | Pause | ||
| 11h20-12h05 | Ordonnancement sous POSIX 1003.1b-c Nicolas Navet, LORIA/INRIA | Résumé | |
| 12h05-12h50 | Java temps réel Xavier Cornu, Trialog | Résumé | |
| 12h50-14h15 | Repas | ||
| 14h15-15h00 | Linux temps réel / RTAI Maryline Chetto / Thibault Garcia, LINA/IUT de Nantes | Résumé | |
| 15h00-15h30 | Pause | ||
| 15h30-16h15 | Co-design commande/ordonnancement et feedback scheduling Daniel Simon, INRIA Rhône-Alpes/INRIA | Résumé | |
| 16h15-17h00 | Quelques besoins identifiés pour les OS dans les systèmes reconfigurables. Jean-Philippe Diguet, LESTER/CNRS. | Résumé |
Comité d'organisation
- Sébastien Faucou (IRCCyN/IUT de Nantes) - Tél : 02 40 37 69 77
- Isabelle Puaut (IRISA/Université de Rennes I) - Tél : 02 99 84 73 10
- Yvon Trinquet (IRCCyN/IUT de Nantes) - Tél : 02 40 37 69 71
Pratique
La journée aura lieu à :
Amphi S
l'Institut de Recherche en Communications et Cybernétique de Nantes (Irccyn)
1, rue de la Noë
44321 Nantes
Informations d'accès