Les systèmes cyber-physiques sont des systèmes critiques qui sont capable d’interagir avec leur environnement par le biais de capteurs et d’actionneurs. Ces éléments étant contrôlés par des logiciels, une cyber-attaque qui les toucherait aurait des conséquences inacceptables. Il convient donc de les protéger des attaques en déployant des contre-mesures, tout en s’assurant que les modifications apportées n’induisent pas à leur tour des comportements néfastes aux systèmes. Dans cet exposé, nous présenterons W-Sec, une méthode conçue par Mines de St-Eienne et Télécom Paris dans le cadre du projet européen SPARTA. Cette méthode vise à évaluer quantitativement, en amont de leur déploiement, les impacts que peuvent avoir des contremesures sur des systèmes cyber-physiques. Cette évaluation, qui se fait en termes de sûreté, de sécurité et de performances et s’appuie sur l’utilisation de TTool, un outil de modélisation et de vérification formelles développé au sein de l’équipe LabSoC de Télécom Paris.