Nous abordons le problème de la conception sûre de systèmes de contrôle-commande temps-réel. C’est un thème à la rencontre de l’automatique et de l’informatique, dont les domaines d’application sont typiquement les systèmes à sécurité critique, par exemple de transport (avionique, trains), de production, médicaux ou de production d’énergie. Il y règne un besoin de méthodes et de modèles formels, capables de se concrétiser dans des outils automatisés d’assistance. Notre y contribuons en proposant des solutions tout au long de la chaîne de traitements entre spécification et mise en oeuvre : nous développons des techniques de spécification et génération d’exécutifs temps-réel sûrs pour le contrôle-commande. En particulier, nous étudions les mises en oeuvre réparties et tolérantes aux fautes de programmes synchrones, la conception conjointe commande/ordonnancement, et la génération automatique de contrôleurs corrects à base de synthèse de contrôleurs discrets. Nos applications sont en robotique, automobile, systèmes embarqués et télécommunications.