Axes de recherche CTSYS - Grenoble INP - LCIS2
CTSYS
Rechercher
Axes de recherche CTSYS
Test et conception testable d'architectures matérielles mixtes
- Analyse de robustesse des SoC
- Vérification et test des circuits intégrés numériques
- Test matériel de haut niveau
- Vérification fonctionnelle de descriptions VHDL
- MUSICO (Mutant Simulation Concurrent)
- Test et validation de conception de SoC AMS
- Méthode de test et conception en vue du test pour les NoCs Asynchrones
Conception, modélisation, simulation, test et diagnostic de systèmes embarqués
- Sûreté de fonctionnement des systèmes RFID
- Sûreté de fonctionnement des systèmes à réseaux de capteurs
- Programmation et test des systèmes réactifs et interactifs
- Architectures logicielles à composants et à services (conception, diagnostic, sécurité)
- Optimisation pour la conception des systèmes embarqués
- 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
LCIS
50, rue Barthélémy de Laffemas BP54 26902 VALENCE Cedex 09 France
Tél : +33 (0)4 75 75 94 49 Copyright Grenoble INP
50, rue Barthélémy de Laffemas BP54 26902 VALENCE Cedex 09 France
Tél : +33 (0)4 75 75 94 49 Copyright Grenoble INP