Détail d'une fiche   Version PDF

S4 (SR0118ZR)

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

S4 →  S4 (SR0547JR)


Statut: Terminée

Responsable : Benoit Caillaud

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Systèmes embarqués et temps réel

Période : 15/03/2002 -> 30/06/2013
Dates d'évaluation : 20/03/2012

Etablissement(s) de rattachement : CNRS, U. RENNES 1
Laboratoire(s) partenaire(s) : IRISA (UMR6074)

CRI : Centre Inria de l'Université de Rennes
Localisation : Centre Inria de l'Université de Rennes
Code structure Inria : 031022-0

Numéro RNSR : 200218353V
N° de structure Inria: SR0118ZR

Présentation

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.


Axes de recherche


Relations industrielles et internationales