Les équipes de l'axe étudient les concepts, formalismes, techniques et outils permettant la description, l'analyse et le raisonnement sur des systèmes complexes, afin d'obtenir des systèmes a la fois plus riches en fonctionnalités, plus robustes, plus surs et plus efficaces.