Equipe de recherche S4

Synthèse et supervision de systèmes, scénarios

Présentation de l'équipe

L'équipe-projet a pour objectif la réalisation, par des méthodes algorithmiques, de systèmes réactifs et répartis à partir de spécifications partielles ou hétérogènes. Il s'agit de développer un ensemble de techniques, d'algorithmes et d'outils qui permette la synthèse de logiciels réactifs à partir d'une ou de plusieurs descriptions incomplètes spécifiant le comportement attendu du système du point de vue de la fonctionnalité (synchronisation, conflits, communication), du contrôle (sûreté, atteignabilité, vivacité), de l'architecture d'exécution (placement, cloisonnement), ou bien encore des performances quantitatives (temps de réponse, coût de communication, etc.).

Ces techniques sont avant tout étudiées sur des modèles de base, comme les automates, les réseaux de Petri, les structures d'évènements et leurs extensions temporisées. Les résultats obtenus sont alors adaptés aux modèles plus réalistes mais plus complexes généralement utilisés en télécommunications, ou pour les systèmes de production. En particulier, la notation UML (les scénarios, les statecharts et l'adjonction du langage réactif synchrone BDL) est à la fois la base des outils développés et le coeur de la stratégie de valorisation des travaux de l'équipe-projet.

Equipes de recherche du même thème :

Siège et centres de recherche Inria

Accès direct

Social