1. Actus & Agenda
  2. FR
  3. Actus
  4. Recherche

Puces multi-cœurs: performantes... et exactes?

Publié le 31 juillet 2019 Mis à jour le 31 juillet 2019

Les puces multi-cœurs sont aujourd’hui incontournables sur le marché de l’électronique embarquée. La vérification des systèmes fonctionnant en temps réel reste cependant un enjeu de recherche et de développement.

Téléphones, tablettes, portables, mais aussi voitures, avions, télévisions ou équipements médicaux : les puces multi-cœurs sont aujourd’hui incontournables. Bon marché et d’une puissance de calcul considérable, elles sont composées de plusieurs unités de calcul (cœurs) qui exécutent des programmes simultanément.

Ces puces se révèlent donc particulièrement intéressantes pour les systèmes embarqués, très répandus et fonctionnant souvent en temps réel.

Il est cependant primordial de démontrer ou prouver, lors de la conception d’un système embarqué, qu’il fonctionne correctement, en particulier quand il y a un danger pour l'être humain. Une difficulté dans le cas des puces multi-cœurs, dont les ressources sont partagées par plusieurs utilisations concurrentes.

Dans un article publié dans ACM computing surveys, Joël Goossens et ses collègues (Département d’Informatique, Faculté des Sciences) font un état des techniques de vérification temporelle pour les systèmes multi-cœurs en temps réel. Un travail réalisé en collaboration avec les Universités de York, Grenoble-Alpes et d'Amsterdam.

L'article passe en revue les principaux résultats de la littérature, depuis ses origines en 2006 aux dernières recherches publiées fin 2018. Les auteurs mettent en évidence les principaux problèmes rencontrés pour fournir des garanties d'exactitude des délais pour ces systèmes multi-cœurs, ainsi que les avantages et inconvénients des différentes approches. Un défi majeur pour les recherches et perspectives futures sera notamment de fournir une solution précise pour des systèmes industriels, dont la complexité est souvent l'obstacle principal.

(Photo by Johannes Plenio on Unsplash)

Contact
Service Communication Recherche :