
Équipe Systèmes Embarqués Temps Réel (SETR)
L’équipe est experte dans la validation et l’analyse de performances temporelles des systèmes et réseaux temps réel.
Domaines d’expertise
- Ordonnancement monoprocesseur ;
- Ordonnancement multicœurs/multiprocesseurs hétérogènes ;
- Réseaux embarqués temps réel ;
- Intégration dans le cycle de vie logiciel.
Domaines d'application
- Transport : avionique, automobile, etc. ;
- Industrie 4.0 et 5.0 ;
- Drones ;
- Énergie et environnement.
Vous pouvez consulter la liste des projets en cours de l'équipe Systèmes Embarqués Temps Réel (SETR).
Méthodes et outils
- Modélisation des problèmes ;
- Analyse de la complexité, approximations polynomiales ;
- Démonstration à base de preuves formelles ;
- Programmation linéaire et mathématique, (méta)heuristiques ;
- Simulation ;
- Développement d’outils (Python, C, etc.).
En résumé, l’équipe SETR est un partenaire majeur pour l’analyse temporelle de systèmes embarqués complexes.
Mots-clés : ordonnancement en-ligne / hors-ligne, systèmes monoprocesseur/multiprocesseurs/distribués, réseaux temps réel Ethernet, validation temporelle.