Notre activité de recherche porte sur les systèmes intégrés et embarqués, leur conception, modélisation, vérification et aussi leur sécurité. Nous concevons également des processeurs de traitement du signal numérique pour la radio dite logicielle, ainsi que les environnements associés de conception logicielle. Le groupe est hébergé par EURECOM à Sophia-Antipolis depuis 2003.
Recherche
L’équipe s’intéresse particulièrement aux sujets de recherche suivants :
- Nouvelles méthodes, techniques, langages et outils pour les systèmes intégrés et embarqués complexes. Abstraction, méthodes formelles, simulation ultra-rapide, génération de code à partir de modèles abstraits.
- Sécurité matérielle, systèmes sur puce paranoïaques avec confiance nulle dans leur environnement matériel et logiciel. Confidentialité et integrité des communications et du stockage externe.
- Processeurs de traitement du signal numérique pour la radio dite logicielle. Compromis entre flexibilité et efficacité énergétique. Environnements associés de conception logicielle, modélisation abstraite des formes d’onde et des architectures matérielles, génération automatique du logiciel de contrôle.
Membres de l’équipe
- Rabea Ameur-Boulifa, Maître de Conférences, Responsable de l’équipe
- Ludovic Apvrille, Professeur
- Sophie Coudert, Maître de Conférences
- Renaud Pacalet, Directeur d’études
- Tullio Tanzi, Professeur
Mots-clés
Exploration d’architecture
Vérification formelle
Ingénierie des modèles
Sécurité des circuits électronique
Architecture logicielle / matérielle pour les applications de traitement du signal
Les publications de l’équipe
Interrogation du serveur HAL en cours...Waiting for HAL server...
Dernières actualités du LTCI
La lettre Ideas : IA vs. évasion fiscale — focus Recherche — Réseaux durables
— 04/02/2026Et aussi : LLM et révolution sur internet — Revoir la régulation de nos données publiques ?
Réseaux économes : Michèle Wigger doublement distinguée
Enseignants-chercheurs, Systèmes et réseaux de communication — 04/02/2026Elle reçoit le prix Monpetit INRIA Académie des Sciences et est promue IEEE [...]
[Ideas] Les IA pourraient-elles aider à contrer l’évasion fiscale ?
Data science & IA, Économie numérique, Enseignants-chercheurs — 02/02/2026Nils Holzenberger : outiller le législateur afin qu’il anticipe [...]
Tour Eiffel : la radio jusqu’au bout des ondes (France Culture)
Enseignants-chercheurs, Systèmes et réseaux de communication — 28/01/2026Avec notamment Alain Sibille évoquant l'histoire de ce monument tellement [...]
[Ideas] La recherche : équilibre entre innovation ciblée et liberté scientifique
Enseignants-chercheurs — 28/01/2026F. Grillot : Soutenir une recherche fondamentale sans finalité immédiate est essentiel [...]
Économie circulaire des smartphones et politiques de rachat
Doctorat, Économie numérique, Modélisation — 26/01/2026Dans sa thèse, Tiphaine George développe un modèle mathématique innovant de l’économie [...]
[Ideas] La recherche française à la croisée des chemins
Enseignants-chercheurs — 22/12/2025Le désengagement de l’État met-il à mal les capacités de la France à innover ? Frédéric Grillot propose [...]
Comment rendre plus transparentes les IA détectant les émotions ?
Data science & IA, Enseignants-chercheurs, Modélisation — 04/12/2025Chloé Clavel : il faut d'abord parvenir à rendre l'IA plus transparente [...]
Europe : les ressources nécessaires pour une IA de pointe (Le Monde)
Data science & IA, Enseignants-chercheurs — 03/12/2025Une tribune co-signée par Florence d'Alché-Buc parmi une trentaine d’acteurs de [...]
FinAI-Lab, labo commun avec BNP Paribas sur l'IA financière
Data science & IA, Économie numérique — 01/12/2025Ce laboratoire est dédié à la recherche sur l'IA utilisée par les grandes institutions [...]
Prochains événements de LabSoc
- Pas d’évènements prévus actuellement.No events currently scheduled.
