System on Chip

LE Laboratoire System on Chip (LabSoC)

LabSoC est un groupe de recherche du département Communications et Electronique de Télécom Paris installé à Sophia-Antipolis depuis 2003. Ses thèmes de recherche sont dédiés aux systèmes intégrés et aux systèmes embarqués complexes :

1) Méthodes, techniques et outils nécessaires à leur conception et à leur vérification.

Modélisation abstraite formelle, validation par simulations ultra-rapides et par l'utilisation de techniques formelles. Raffinement formellement encadré depuis les spécifications abstraites jusqu'aux modules logiciels et matériels concrets. LabSoC conçoit et maintient un environnement logiciel libre basé sur UML pour l'exploration de l'espace de conception à haut niveau d'abstraction : TTool

2) Sécurité de ces systèmes contre les attaques visant spécifiquement le matériel.

Protection contre les attaques par les canaux auxiliaires que sont le temps de calcul, la consommation énergétique, ... Protection contre le sondage et l'injection de données sur les bus de communication des cartes électroniques. Techniques de modélisation formelle et de preuve mathématique de sécurité.

3) Architectures de processeurs de traitement numérique du signal (DSP) pour les télécommunications.

Compromis entre flexibilité, complexité et sobriété énergétique de ces DSPs pour la radio dite "logicielle".