SISE : Systèmes Informatiques Sûrs et Efficaces

Équipe 2XS

eXtra Small, eXtra Safe

Responsable: Gilles Grimaud

PRÉSENTATION MEMBRES THÈSES PUBLICATIONS

Présentation

L’équipe 2XS travaille sur les systèmes embarqués fortement contraints et en particulier sur la conception de logiciels et matériels apportant sécurité, fiabilité et efficacité à ces derniers. La recherche de l’équipe 2XS s’oriente particulièrement sur la définition de nouvelles architectures de systèmes ou de nouveaux langages pour permettre la conception rapide de logiciels fiables, adaptés à des contraintes fortes en terme de consommation mémoire, de consommation énergétique, de puissance de calcul et de sécurité. Les compétences mises en œuvre par l’équipe pour adresser ces verrous vont de la vérification formelle à la conception conjointe logicielle et matérielle en passant par l’architecture de systèmes d’exploitation.

Membres

Permanents

Soukaina Aji

Sécurité et privacité des systèmes neuromorphiques

Aurélie Saulquin

Connexion efficace entre capteurs et processeurs neuromorphiques

Les autres équipes du groupe thématique ' SISE '

LINKS SyCoMoRES