
Les activités de recherche du groupe CTSYS portent sur la conception des systèmes embarqués et distribués avec un fort accent mis sur la problématique de la sûreté de fonctionnement, qui est une problématique majeure dans des domaines de forte criticité (téléphonie mobile, systèmes de transport aérien, ferroviaire, automobile, etc.).
Les recherches de CTSYS ont pour objectif commun l'obtention de systèmes sûrs de fonctionnement au moyen d'approches contribuant à l'élimination de fautes, à la tolérance aux fautes ou bien à leur prédiction, à l'aide de modèles de fautes.
CTSYS développe également des compétences dans la conception de systèmes embarqués, notamment dans le cas où ceux-ci sont soumis à des fortes contraintes de ressources (mémoire, énergie consommée...) et de sécurité.
L'appellation « embarqué » incluant une grande variété de systèmes, les approches développées au sein de CTSYS sont étudiées dans des cadres différents, allant des systèmes répartis à faibles contraintes jusqu'aux systèmes hétérogènes intégrant du logiciel, des composants matériels numériques et analogiques, voire des éléments mécaniques.