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 de l’équipe
- 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
Interrogation du serveur HAL en cours...Waiting for HAL server...