Nous réalisons nos recherches pour répondre à un double objectif.

D'une part, nous devons fournir les plateformes de calcul à haute performance répondant aux nouveaux besoins induit, notamment, par la recherche d’une plus grande autonomie des systèmes.

D'autre part, nous devons maîtriser la complexité inhérente à ces plateformes afin de fournir des services fiables et apporter les justifications requises par les autorités de certification.

Une activité fondamentale du développement de la plupart des systèmes embarqués est la démontration du respect des contraintes temporelles. Cependant, avec les composants modernes très complexes conçus pour fournir des performances très élevées en moyenne, cette démonstration est devenue très complexe.

Face à ce problème, notre centre de compétences explore depuis plusieurs années des méthodes et des outils permettant de garantir le respect des propriétés temporelles. Nos recherches abordent les multiples dimensions du problème du déterminisme temporel : de l'analyse temporelle des processeurs commerciaux à la conception d'architectures de processeurs déterministes, en passant par l'utilisation de modèles de calcul déterministes.

Dans le domaine spatial, le déploiement de très grandes constellations de satellites de petite taille et de faible coût repose sur l'utilisation de composants sur étagère (COTS) de haute performance. Or, ces composants ne sont pas conçus pour un environnement spatial soumis à de hauts niveaux de radiations.

Dans ce contexte, nous proposons des architectures pour la mise en œuvre de stratégies FDIR (Fault Detection Isolation and Recovery) permettant de tolérer les effets de ces radiations (SEUs, MBUs, etc.). Cela inclut, par exemple, la conception d'architectures d’IPs FPGA tolérantes aux fautes. Nous développons également les moyens de modélisation et d'évaluation pour estimer la disponibilité de l'architecture résultante afin d'en effectuer, par exemple, l’analyse du compromis disponibilité/coût.

Un système embarqué comprend généralement une pluralité de capteurs, d'actionneurs et d’unités de traitement interconnectés via un ou plusieurs réseaux de communication, dont les caractéristiques temporelles jouent un rôle essentiel dans le service rendu par le système. Couvrant un large éventail de cas d'utilisation et d'objectifs de performance, la norme TSN (Time-Sensitive Network) vise à remplacer de nombreuses technologies de mise en réseau existantes et spécifiques à un domaine.

Dans ce contexte, nous soutenons et accompagnons les industriels pour comprendre la norme, en définir le sous-ensemble adapté à leurs besoins et en évaluer la performance, la fiabilité et, plus généralement, les capacités de son implémentation. Nos activités de recherche couvrent également la configuration des réseaux TSN, l'estimation de la limite supérieure des latences de bout en bout et l'analyse des capacités de synchronisation.

Ces travaux sont soutenus par une plateforme d'évaluation représentative des architectures cibles réelles et des moyens de génération de trafic, permettant d'évaluer différentes configurations TSN. Ce domaine de recherche est étroitement lié à ceux du Calcul en Temps Réel et des Architectures Informatiques Fiables.