EQUIPE CTSYS

Sûreté et Sécurité des Systèmes embarqués et distribués

CTSYS : Sûreté et Sécurité des Systèmes embarqués et distribués

Les activités de recherche du groupe CTSYS visent l’amélioration de la sécurité des systèmes embarqués et des systèmes distribués.

Dans un monde où les systèmes distribués et pervasifs sont omniprésents (IoT, objets connectés, habitat intelligent…), notamment dans les applications critiques (véhicules autonomes, aéronautique, applications médicales…) ou les applications de sécurité (smart card, contrôle d’accès…), la sûreté de fonctionnement et la sécurité sont deux enjeux primordiaux. Pour assurer la sûreté et la sécurité de ces systèmes, leur conception doit être abordée de manière globale, une faille ou une vulnérabilité dans un élément pouvant compromettre l’intégralité du système.

Le groupe CTSYS est constitué de chercheurs de différentes disciplines (électronique, informatique, télécom) qui étudient les différents éléments des systèmes embarqués : du matériel à l’application. Une attention particulière est portée à l’interaction entre le matériel et le logiciel. Du matériel au logiciel les principaux axes de recherche du groupe sont : la sécurité matérielle des systèmes intégrés, la vérification et le test logiciel, la sûreté de fonctionnement des systèmes embarqués, la sûreté et sécurité dans les réseaux de systèmes connectés, la sûreté et la sécurité des applications distribuées et pervasives.

Les principaux domaines applicatifs des recherche du groupe sont : l’internet des objets (dont les systèmes RFID), les réseaux de capteurs, les environnements Smart-* (-Home, -Building, -Car, etc.), l’industrie des transports…

Projets à « dominante industrielle » : projet Européen PENTA SereneIoT, FUI Bluesky, Labélisation MINALOGIC projet ANR LIESSE

Projets à « dominante académique » : projet PEPR ARSENE, projet Cyber-sécurité de l’IRT Nanoelec (Programme d’Investissement d’Avenir), projet ANR LIESSE, ANR C3µ, projet ARC6 Salware (porté par le laboratoire Hubert Curien), projet AGIR (Alpes Grenoble Innovation Recherche) increase, projet région Safe-AirPartenaires industriels : Innovista Sensor, GRDF et Ingenico (dans le cadre de la chaire d’excellence industrielle Trust), Motwin, Vertical M2M, STMicroelectronics, Thales Valence, AEDvices, Maxim IC, Orange Labs, Nocosium, divers projets IRGA (Initiatives de recherche à Grenoble Alpes).

Les Axes de Recherches

Sécurité matérielle des systèmes intégrés

Défis : Amélioration de la robustesse et de la sécurité

Approches : Analyse de vulnérabilités, conception d’architectures matérielles sécurisées et tolérantes aux fautes, évaluation par simulation de fautes et injection de fautes, prototypage, méthodes d’optimisation pour la conception de systèmes intégrés

Exemples de projets :

Amélioration de la sécurité contre des attaques laser
Amélioration de la sécurité de circuits analogiques et mixtes
Emulation et amélioration de la sécurité des tags RFID

Vérification et test logiciel

Défis : Test d’applications réactives synchrones (temps réel) et test d’applications interactives

Approches : Test de programmes Lustre (Scade), test automatique par arbre de tâches

Sûreté de fonctionnement des systèmes embarqués

Défis : Test et diagnostic en ligne adaptés aux systèmes embarqués en prenant en compte l’interaction entre matériel et logiciel

Approches : Composants logiciels embarqués, service de diagnostic embarqué

Exemples de projets :

Sûreté de fonctionnement des systèmes RFID
Sûreté de fonctionnement des systèmes à réseaux de capteure
Architectures logicielles à composants et à services (conception, diagnostic, sécurité)

Sûreté et sécurité dans les réseaux de systèmes connectés

Défis : Sûreté et sécurité des éléments et des protocoles réseau dans un contexte « faible consommation et bas débit »

Approches : Analyse des données des capteurs pour la détection des données erronées, monitoring des nœuds, service de test et de diagnostic, notion de confiance dans les nœuds

Exemples de projets :

Infrastructures logicielles efficaces et économes en énergie pour l’embarqué
Réseaux de capteurs hétérogènes, perpétuels et fiables
Services sur réseaux de capteurs

Sûreté et sécurité des applications pervasives

Défis :Résilience et sécurité des systèmes pervasifs à base de services dynamiques et hétérogènes

Approches :Méthodes de conception intégrant la sécurité de transfert, contrôle et restriction de l’accès aux services

Les membres de l’équipe CTSYS

Oum-el-Kheir AKTOUF

Responsable équipe CTSYS, Professeure des universités

Vincent BEROULLE

Directeur du laboratoire, Professeur des universités

Stéphanie CHOLLET

Maître de conférences

Christophe DELEUZE

Maître de conférences

Nicolas FOURTY

Maître de conférences

Laure GONNORD

Professeure des universités

David HELY

Maître de conférences

Sébastien JEAN

Maître de conférences

Yann KIEFFER

Maître de conférences

Ioannis PARISSIS

Professeur des universités

Valentin EGLOFF

Maître de conférences

Mohamed ABDELSALAM

Doctorant

Ihab ALSHAER

Post Doctorant

Arthur BAUDET

ATER

Arthur DESUERT

Doctorant

Aghiles DOUADI

Doctorant

Binh LE THI THANH

Doctorante

Sébastien MICHELLAND

Doctorant

Mohammed El Amin TEBIB

Doctorant

Priyadarshini

Doctorante

La liste complète des membres du laboratoire se trouve ici.

Les équipes recherchent et accueillent régulièrement des nouveaux chercheurs et doctorants afin de contribuer à leurs recherches.

Découvrir nos offres de thèses et de stages

Les Publications

L’ensemble de l’équipe produit et publie de nombreuses publications sur leurs thématiques tous les ans.

Les sujets récemment traités par CTSYS :

Accéder à l’intégralité des publications de l’équipe

Liste des projets

COLLABORATIONS ACADÉMIQUES

Nationales

GIPSA Lab : Co-direction thèse.
Laboratoire d’Informatique de Grenoble (LIG) : Co-direction thèses, projet BQR ARTEco.
ONERA Toulouse, LIG, LRI (Orsay), CEA-LIST (Saclay) : Projet ANR SIESTA.
INRIA : projet FUI Minalogic Bluesky.
LIRMM, ENSMSE, TIMA, ONERA Toulouse : Co-direction thèse, Projet ANR LIESSE.
CEA-LETI : Co-direction thèse.
Participation au consortium Maintenance Experte Fiabiliste (MEF) (8 laboratoires de Rhône Alpes – Auvergne ; société ALTéAD) : démonstrateur de traçabilité machine.
Participation au Cluster ISLE (Informatique des Systèmes et Logiciels Embarquées) de la région Rhône-Alpes – projet EmSOC Recherche puis projet SEMBA.
Participation au groupe de travail SEE/CIAME 18.04 « Constituants Intelligents pour l’Automatisation et la Mesure ».

Internationales

Participation au réseau d’excellence EURNEX(INRETS en France, FAV en Allemagne, IST au Portugal, etc.), dont le but est de rassembler l’ensemble des recherches dans le ferroviaire au niveau européen pour en dégager des pôles d’excellence selon le secteur étudié.
Université Libanaise de Tripoli : thèse en co-tuelle, projet CEDRE (2012-2012).
Université de Danang (Vietnam) : co-direction de thèses.

PARTENARIATS INDUSTRIELS CONTRACTUELS

Airbus: Thèse CIFRE.
MBDA (2002-2006) : Réalisation d’un module enfichable dans un environnement de développement industriel (Simulink, SCADE).
ST Microelectronics : Thèses CIFRE, partenaire projet ANR LIESSE.
CERTESS : aide à l’incubation ; collaboration dans le cadre de la thèse de Y. Serrestou.
SPRINTE : collaboration depuis 2003 (parteanire des pojets BGLE- ADN4SE et Artémis Arrowhead, incubation de la société DPM (2008-2009)
Bull, Thalès, LIG, EDF R&D : partenaires du projet ITEA 2 OSAMI-Commons.
Airbus, SAGEM, TURBOMECA, ASTRIUM ST, Esterel Technologies : projet ANR SIESTA.
CROUZET, MOOTWIN, VM2M : projet FUI BLUESKY.
Nocosium, Watteco : Thèses CIFRE.
Schneider Electric : contrat de recherche dans le cadre du projet de recherche SafeRFID.