Our team unites multiple essential scope of activities for designing a complete, effective and functional. - Architecture: design and simulation (Y. Augé, D. Genius, A. Greiner, F. Pêcheux)
- Vérification: formal methods for the verification and the design (C. Braunstein, J.-L. Desbarbieux, E. Encrenaz)
- Operating system: embeded efficient operating system (F. Wajsbürt)
- Compilation : Code optimization and parallelization (N. Drach, K. Heydemann)
These scopes involve the following research themes :
Design :- Design of massively parallel architecture - distributed/virtual memory - homogeneous/heterogenous.
- Design of efficient and open components.
- Design of specialized components.
Model, verify and simulate :- Modeling and simulating framework .
- Parallel simulation.
- Simplify simulation model.
- Visualizationand analyse tools.
- Specification/validation of components and set of components.
- Component abstraction.
Programmation et optimisation :- Definition and development of a MPSOC operating system (homogeneous, heterogeneous, shared memory).
- Methods for parallel programming de programmation parallèle et adaptative software optimizations for MPSOC.
- Methodes d’ordonnancement, placement de flots.
- Dimensionnement du matériel.
- Adéquation architecture MPSOC / application - pour des applications TELECOM, des applications multimédia.
- Test/diagnostic de pannes franches sur MPSOC - reconfigurabilité, assistance de l’OS.…
|
