É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.

Contacts