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
Photonique quantique : Laboratoire Associé avec l'Université Laval (LIA-PIQ)
Institutionnel, Confiance numérique, Systèmes et réseaux de communication — 17/04/2026Les technologies développées dans le cadre du [...]
Anna Korba médaille de bronze du CNRS
Doctorat, Institutionnel — 16/04/2026Docteure de Télécom Paris, elle est primée pour ses travaux à l’interface entre mathématiques, statistiques et IA.
La lettre Ideas : Quelle sécurité pour les convois de véhicules connectés ?
— 15/04/2026Et aussi : RebrAIn, pour une neurochirurgie plus précise grâce à l'IA — 5G, quel bilan énergétique ? — [...]
Tout comprendre aux communications sans fil
Systèmes et réseaux de communication — 14/04/2026Une émission qui propose un voyage dans le monde des ondes pour comprendre pourquoi et comment la 1G est devenue [...]
[Ideas] 5G : l’urgence écologique
Enseignants-chercheurs, Systèmes et réseaux de communication — 10/04/2026Philippe Ciblat et Marceau Coupechoux : quels sont les effets environnementaux de la 5G ?
Cybersécurité intelligente & mobilité : livre blanc
Confiance numérique — 30/03/2026À mesure que les véhicules deviennent connectés, la cybersécurité relève de la conception même des systèmes.[Ideas] Sécurité des convois de véhicules connectés
Doctorat, Confiance numérique, Systèmes et réseaux de communication — 24/03/2026Emma Braiteh, doctorante : Quelles sont les mesures de sécurisation qui [...]
Deux ans de recherche : innovation & impact
Enseignants-chercheurs — 23/03/2026Cette édition du Panorama de la recherche à Télécom Paris est une rétrospective dédiée aux avancées scientifiques [...]
Une vidéo « virale » générée par IA ? (TF1 info)
Enseignants-chercheurs — 17/03/2026Une vidéo montrant le 1er ministre israélien semble «suspecte» mais des experts dont Quentin Bammey confirment [...]
Faciliter la détection du cancer du sein grâce à l’IA (Carnot TSN)
Doctorat, Data science & IA — 09/03/2026Arnaud Quillent utilise le deep learning en mammographie 3D, dans le cadre d’une thèse CIFRE.
Prochains événements de LabSoc
- Pas d’évènements prévus actuellement.No events currently scheduled.
