| Laboratoire |
Verimag |
| Nom
de l'équipe ou du projet |
Systèmes
Distribués et Complexes / Systèmes Synchrones |
| Responsable |
Yassine Lakhnech / Nicolas Halbwachs |
| Effectifs
(chercheurs, enseignants-chercheurs, thésards, ingénieurs, techniciens) |
6,5,8,5,0 |
| Axes
de recherche (liste de mots-clefs) |
- Langages
synchrones (Lustre): sémantique, compilation...
- Validation
de programmes: Test, vérification...
- Systèmes
distribués: modélisation, sémantique, validation...
- Sécurité:
protocoles cryptographiques, certification
|
| Relations
industrielles ( liste de partenaires industriels) |
Telelogic,
France Telecom R&D, Schneider-Electric, Esterel Technologies, EADS
Launch Vehicles, EADS Airbus, Trusted Logic, IBM Haifa |
| Participation
à des programmes nationaux (ex. RNTL, RNRT) (liste de projets) |
|
| Participation
à des programmes européens (ex. IST) (liste de projets) |
- Network
of Excellence: IST ARTIST
- Projets
IST: OMEGA, NextTTA, Advance, Agedis
|
| Plates-formes |
PSLC: Plate-forme Systèmes et Logiciels Critiques |
| Suggestions |
|
|