Logo Aix-Marseille Université

Aller au contenu | Aller au menu | Aller à la recherche

Groupe d’Études et Recherche en Informatique des Systèmes Communicants Sécurisés

Aix-Marseille Université

Présentation

ERISCS est le premier groupe de recherche interdisciplinaire "mathématique – informatique" (contractualisé PPF et adossé à deux UMR-CNRS, IML & LIF) créé par des coopérations scientifiques et projets communs menés par des chercheurs et enseignants-chercheurs d'Aix-Marseille Université.

La thématique générale du groupe est la construction correcte et les applications des « Systèmes Communicants Critiques et Sécurisés ».

Nos travaux sont menés en association étroite et projets communs avec la R&D industrielle dans le cadre du Pôle de Compétitivité Mondial SCS ou dans le cadre de projets Européens. Des exemples de projets en cours ou récents sont dans la rubrique "Projets".

Motivations et Objectifs Scientifiques

L’objectif général de notre groupe, en collaboration avec des acteurs industriels et dans le contexte d’une gamme d’applications naissantes pour les systèmes communicants, est donc de proposer une approche de la sécurité des systèmes communicants qui adresse les défis les plus actuels et contribue à l’évolution des standards.

Notre motivation est de proposer des méthodes et techniques ainsi que des outils pour la construction correcte des systèmes communicants sécurisés, distribués et adaptatifs aux besoins des applications critiques.

Les activités actuelles concernent plus précisément les axes de recherche suivants :

  • Les modèles formels et outils pour la construction correcte des systèmes et protocoles communicants sécurisés
  • La fiabilité et qualité de services pour systèmes communicants
  • L'évaluation et la validation par des prototypes et études de cas industriels "vrai grandeur".

Genèse et historique du Groupe

  • Equipe "Arithmétique et Traitement de l'Information" (IML - UMR CNRS, Marseille)
  • Equipe "Systèmes Informatiques Communicants" (LIM - URA CNRS Marseille ->2001)
  • Equipe "Systèmes Massivement Parallèles (IMAG - URA CNRS, Grenoble -> 1994)