Les systèmes automatisés sont en charge de plus en plus de missions délicates, critiques pour des questions de vie ou de mort (par exemple la santé, l’automobile ou l’aéronautique), des missions (par exemple missions spatiales ou réseaux de capteurs) ou le commerce (par exemple le e-gouvernement ou les systèmes de transactions commerciales). Nous nous assurons que ces systèmes sont opérationnels et se comportent comme attendu, ce qui est un défi en raison de leur forte complexité, de leur exécution hautement parallèle ou répartie, l’existence de fautes ou d’attaques, du fait qu’ils s’exécutent dans des environnements dangereux, des besoins en maintenance, etc. Les questions de la vie privée et de la confiance sont également d’une importance fondamentale et il faut les traiter à tous les niveaux (matériel, réseau, logiciel, cryptographie).