INTRODUCTION
Exposé / D. Borrione
Le cluster ISLE
Exposé / J. Sifakis
- MINALOGIC
Thème I / F. Maraninchi, J-B. Stefani
- Composants et modélisation
Thème II / T. Risset
- Compilation, Synthèse et Optimisation pour l'Embarqué
Thème III / Y. Lakhnech
- Validation des systèmes embarqués
Thème IV / E. Fleury
- Réseaux, Middleware, Systèmes d'Exploitation pour l’Embarqué
Thème V / I. O'Connor
- Architectures matérielles, conception multi-physique hétérogène