L’équipe 2XS travaille sur les systèmes d’exploitation et les logiciels confrontés à de fortes contraintes technologiques et qui doivent répondre à des besoins exprimés en termes de sécurité, de fiabilité et d’efficacité. Les recherches de l’équipe 2XS s’orientent particulièrement vers la définition de nouvelles architectures de systèmes ou de nouvelles techniques et algorithmes pour permettre la conception rapide de logiciels fiables, adaptés à des contraintes fortes en termes de sécurité et d’efficacité. Les compétences mises en œuvre par l’équipe pour relever ces défis vont du co-design des logiciels et des matériels jusqu’à l’utilisation de méthodes formelles (à l’aide de l’outil Coq) et au co-design des logiciels et de leurs preuves.