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
Dîner Prestige 2024 : IA, aide à la décision, quantique, théorie de l'information
Enseignants-chercheurs — 14/11/2024Le 07/11, 30 donatrices et donateurs ont participé au 9e dîner prestige de Télécom [...][Ideas] IA : bâtir une éthique de transparence et de confiance
Confiance numérique, Data science & IA, Enseignants-chercheurs — 08/11/2024Mélanie Gornet : quelle approche européenne de régulation de l'IA ? [...]La lettre Ideas : Bioinformatique, Expliquer et sécuriser l'IA
— 08/10/2024Et aussi : Innovation et responsabilité écologique peuvent-elles converger ?[Ideas] Explicabilité et confiance en l’IA ?
Confiance numérique, Data science & IA, Enseignants-chercheurs — 02/10/2024Florence d'Alché-Buc : Ces questions se posent avec acuité depuis l'arrivée des IA [...]Quèsaco les réseaux de neurones ? (IMTech)
Data science & IA, Enseignants-chercheurs — 30/09/2024Stéphan Clémençon : ce sont des modèles d’IA conçus par apprentissage automatique qui permettent à [...][Ideas] Sécuriser l’IA : enjeux, défis, solutions
Doctorat, Confiance numérique, Data science & IA — 26/09/2024Katarzyna Kapusta : quels enjeux, quelles menaces et quelles solutions innovantes pour [...]«Top 2%» : nos enseignants-chercheurs en font partie
Enseignants-chercheurs — 24/09/2024Ce classement établi par Stanford présente 210000 chercheurs, soit 2,5% des 8 M de scientifiques actifs dans le [...]Le premier Student Research Workshop au Viêt Nam, un franc succès !
Doctorat, Masters, Partenariats internationaux — 16/09/2024Le premier événement étudiant de recherche était organisé au VIASM, à Hanoi au [...]Sabotages de lignes téléphoniques : l'œuvre d'experts ?
Enseignants-chercheurs, Très grands réseaux et systèmes — 29/07/2024Maurice Gagnaire : des dégâts importants qui nécessitent une certaine connaissance [...]Please, Listen to This! Une expérience sonore directe
Ingénieurs — 22/07/2024Le projet s'inspire du lancement du premier Walkman (1979). Il propose de recréer une performance similaire avec des [...]