Axes de recherche CTSYS

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

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

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 capteurs
• Architectures logicielles à composants et à services (conception, diagnostic, sécurité)

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

Sûreté et sécurité dans les systèmes connectés : réseaux de capteurs, RFID, etc.
 

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