Systèmes embarqués critiques autonomes [ACES]

Les thèmes de recherche de l’équipe Systèmes embarqués critiques autonomes (ACES)  tournent autour des systèmes concurrents en général (systèmes parallèles, systèmes distribués, …), pour lesquels des propriétés non fonctionnelles telles que la performance ou la sécurité doivent être garanties.

 

 

Afin de couvrir l’ensemble du continuum de systèmes concurrents, l’équipe ACES a choisi de structurer ses activités autour de deux thèmes :

Systèmes faiblement couplés 

  • Systèmes autonomes complexes
  • Informatique distribuée tolérante aux pannes et asynchrone
  • Test basé sur un modèle
  • Sécurité dans l’internet des objets
  • Services distribués

Systèmes fortement couplés

  • Systèmes temps réel
  • Plateforme déterministe
  • Processus de conception de systèmes critiques
  • Sécurité et de sûreté
  • Consommation d’énergie de calcul

Membres de l’équipe

  • Laurent Pautet, Professeur, Responsable d’équpe
  • Dominique Blouin, Ingénieur de Recherche
  • Etienne Borde, Maître de Conférences
  • Florian Brandner, Maître de Conférences
  • Ada Diaconescu, Maître de Conférences
  • Pierre Jouvelot, Professeur invité
  • Petr Kuznetsov, Professeur
  • Jean Leneutre, Maître de Conférences
  • Gérard Memmi, Professeur
  • Elie Najm, Professeur
  • Matthieu Rambaud, Maître de Conférences
  • Thomas Robert, Maître de Conférences
  • Samuel Tardieu, Maître de Conférences
  • Sylvie Vignes, Maître de Conférences

Mots-clés

Systèmes critiques, sûrs et sécurisés,
Systèmes concurrents et répartis,
Systèmes autonomiques

Les publications de l’équipe

 

Dernières actualités du LTCI