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
Comment les IA transforment le Web (Sciences & Avenir)
Data science & IA, Enseignants-chercheurs — 04/10/2025Fabian Suchanek : une évolution pas très vertueuse.
Souveraineté numérique française : le plan de l’Institut Montaigne
Confiance numérique, Enseignants-chercheurs — 26/09/2025Gerard Memmi : un état des lieux préoccupant et des recommandations concrètes pour [...]
Macro-menaces sur microarchitectures
Confiance numérique, Enseignants-chercheurs — 22/09/2025Maria Mushtaq, organisatrice de MIC-SEC, éclaire les évolutions et les enjeux d’une discipline en pleine mutation [...]
La lettre Ideas : Écologie et finance – IA pour l'imagerie médicale
— 12/09/2025Finance et risque climatique ; Risque de perte de biodiversité – IA pour la mammographie 3D ; Visualisation du [...]
Les IA peuvent-elles lutter contre l'évasion fiscale ?
Data science & IA, Enseignants-chercheurs — 12/09/2025Nils Holzenberger sur France Culture : l'IA pourrait aider à déceler les failles du droit fiscal [...]
Une BD sur la 5G et les télécoms!
Enseignants-chercheurs, Très grands réseaux et systèmes — 09/09/2025Venue de 2004, Jenny découvre avec effarement que les tél. mobiles ont bien évolué depuis 20 ans ! La [...]
Quand l’IA met des mots sur le vivant (I'MTech)
Data science & IA, Enseignants-chercheurs — 04/09/2025Jhony Giraldo associe images et langage pour concevoir des IA capables de s’adapter à la complexité [...]
Programme spatial Univity : deux chercheurs impliqués
Enseignants-chercheurs, Très grands réseaux et systèmes — 02/09/2025Philippe Martins et François Baccelli apportent leur expertise en optimisation 5G/6G [...]
Prix de Thèse IP Paris : trois de nos doctorants distingués
Doctorat — 11/07/2025Clément Le Ludec (i3/SES) est co-lauréat du grand prix de thèse IP Paris, Raphaela Andres (CREST/SES) et Abdelaziz [...]
Champollion : déchiffrer les plis du cerveau
Enseignants-chercheurs, Modélisation — 02/07/2025Des scientifiques dont Pietro Gori veulent comprendre les plis du cerveau avec leur projet d’IA générative [...]
Prochains événements de LabSoc
- Pas d’évènements prévus actuellement.No events currently scheduled.
