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
Patrimoine logiciel : la norme ISO/IEC 18670 est désormais officielle
Enseignants-chercheurs, Très grands réseaux et systèmes — 20/05/2025Cette norme permet une identification unique, persistante et vérifiable [...]
Quantum-Saclay : rassembler autour du quantique
Enseignants-chercheurs, Très grands réseaux et systèmes — 15/05/2025Romain Alléaume : «Nous développons de nouveaux systèmes de communication pour les réseaux [...]
La lettre Ideas : Crises climatiques et résilience - Hallucinations de l’IA
— 12/05/2025Et aussi : IA génératives : craintes réelles ou supposées ? Quand l'IA apprend à écouter (image Phoenix [...]
[Ideas] Démystifier les hallucinations de l’IA
Confiance numérique, Data science & IA, Enseignants-chercheurs — 24/04/2025Thomas Bonald : Les IA génératives se trompent ; pourquoi et comment [...]
La musique peut-elle nous aider à mieux nous comprendre ?
Enseignants-chercheurs, Modélisation — 02/04/2025Geoffroy Peeters a largement contribué à l'essor de l'analyse musicale en travaillant sur les [...]
Florence Tupin distinguée par l'IEEE Geoscience and Remote Sensing Society
Enseignants-chercheurs, Modélisation — 24/03/2025Elle développe des méthodes innovantes de traitement et d’analyse d’images, avec [...]
Champollion : déchiffrer les plis du cerveau (Les Échos)
Enseignants-chercheurs, Modélisation — 20/03/2025Des scientifiques dont Pietro Gori veulent comprendre les plis du cerveau avec leur projet d’IA [...]
MT180 IP Paris : Tristan Nemoz sélectionné en finale
Doctorat, Confiance numérique — 12/03/2025Son sujet : « Hybrider cryptographie quantique et classique : le meilleur des deux mondes ». Il est [...]
La 5G met les constellations en réseau (I'm Tech)
Enseignants-chercheurs, Très grands réseaux et systèmes — 12/03/2025Philippe Martins : «Obtenir une constellation souveraine, qui réponde aux besoins en [...]
[Ideas] Révolution sonore et machine listening
Data science & IA, Enseignants-chercheurs, Modélisation — 11/03/2025Gaël Richard, "Hi-Audio" : comment la machine apprend-elle à écouter et à créer ?
Prochains événements de LabSoc
- Pas d’évènements prévus actuellement.No events currently scheduled.
