S4

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

Contexte et objectifs

Projet de l'IRISA commun avec l'INRIA, le CNRS, l'INSA de Rennes, l'université de Rennes 1

Le 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 du projet.

Axes de recherche

Relations internationales et industrielles

Responsable scientifique

Benoît Caillaud
+33 2 99 84 74 07
Secrétariat +33 2 99 84 74 84

À propos de l'équipe

Site web
Rapport d'activité

Thème

Logiciel et architectures

Les projets du même thème

Adresse

IRISA - Campus universitaire de Beaulieu - 35042 Rennes Cedex