 |
  |
projets de recherche / congrès, colloques, conférences / produits et démonstrations |
|||||||||||||||
|
|
||||||||||||||
Synthèse et supervision de systèmes, scénariosObjectifs scientifiquesProjet commun avec l'INSA de Rennes, l'Université
de Rennes 1 et le CNRS. 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. Membres du projet
ResponsableBenoît Caillaud
|
|||||||||||||||
|
|||||||||||||||
