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
- Ludovic Apvrille, Professeur, Responsable de l’équipe
- Rabea Ameur-Boulifa, Maître de Conférences
- 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
Dernières actualités du LTCI
[Ideas] Communs logiciels et défis du Libre et de l'Open Source
Enseignants-chercheurs — 09/04/2024Laure Muselli et Stefano Zacchiroli: quels enjeux de souveraineté autour des communs numériques?Ma thèse en 180 secondes IP Paris : Elie Kadoche en finale nationale
Doctorat — 02/04/2024Elie Kadoche, doctorant à IP Paris/Télécom Paris, remporte la finale régionale du concours "Ma thèse en 180 [...][Ideas] L’IA appliquée à l’imagerie médicale : l'enjeu des données
Enseignants-chercheurs, Modélisation — 14/03/2024Elsa Angelini et Pietro Gori : quels enjeux pour accéder à la data et comment rendre [...]Cybersécurité : les enjeux et les outils
Mastères spécialisés, Confiance numérique — 13/03/2024Grâce à nos Mastères Spécialisés dédiés à la cybersécurité, découvrez comment anticiper les [...][Ideas] Communs numériques et logiciels libres
Enseignants-chercheurs — 07/03/2024Stefano Zacchiroli : Pourquoi les logiciels libres sont un patrimoine essentiel pour l’humanité.[Ideas] Algorithmes et maîtrise de l'impact carbone
Enseignants-chercheurs — 29/02/2024Leonardo Linguaglossa : Plongée au cœur de la consommation énergétique des algorithmes.[Ideas] Le bilan carbone des chercheurs en informatique
Enseignants-chercheurs — 26/02/2024Antoine Amarilli : L'évaluation des chercheurs remise en cause par la crise climatique ?[Ideas] Où en est l’évaluation de la recherche ?
Enseignants-chercheurs — 22/02/2024Frédéric Grillot : Est-elle trop individualisée et tournée vers des indicateurs de performance ?Un biocluster pour l’innovation contre le cancer (I'm Tech)
Enseignants-chercheurs — 17/02/2024Elsa Angelini, spécialisée dans le domaine de l’imagerie biomédicale et l’apprentissage automatique, est [...]6G : faut-il s’en inquiéter ? (AOC)
Enseignants-chercheurs, Très grands réseaux et systèmes — 14/02/2024Marceau Coupechoux : On peut s’interroger sur la nécessité de la 6G à venir au moment où [...]
Prochains événements de LabSoc
- Pas d’évènements prévus actuellement.No events currently scheduled.