Présentation du parcours SRLC
Objectifs du parcours

Ce parcours a pour objectif de donner un panorama des recherches actuelles et émergeantes dans le domaine des systèmes répartis et du génie logiciel critique. En effet, les systèmes informatiques connaissent actuellement une forte évolution de leur complexité que ce soit dans le domaine de l’embarqué (aéronautique, santé, carte à puce, téléphones, assistants personnels, etc.) ou du réparti (grilles de calcul et serveurs web notamment). Ces systèmes informatiques, intégrant un parallélisme massif ou/et une mobilité des composants, sont un défi pour les concepteurs. De nouvelles méthodes et outils de production de logiciel sont nécessaires pour la description de l'architecture de ces systèmes et pour leur validation et/ou certification. Les thèmes abordés couvrent les phases de développement de systèmes critiques ou répartis, depuis la prise en compte de l’architecture matérielle jusqu’à la validation des applications.