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.