0
0
0
1
0
0
0

TEA (Tim, Events and Architectures)

Effectif total : 9

Le but du projet TEA (temps, événements et architectures) est de définir un cadre sémantique et analytique permettant de raisonner sur le temps dans les systémes puis de mettre en pratique ces résultats en revisitant l'état de l'art en analyse, en vérification et en synthèse, mettant à profit la compositionalité obtenue.

Modifier

RENNES

M. Talpin Jean-Pierre

02 99 84 74 36

jean-pierre.talpin@inria.fr

https://www.inria.fr/equipes/tea

Modifier

Nos domaines de recherche

Expertises

Modelisation temporelle pour le design de systèmes
Analyse temporelle de systèmes
Design de systèmes embarqués

Equipements spécifiques

Modifier

Secteurs d'applications

  • Informatique et logiciels

Effectif total : 9

dont

  • Nombre de chercheurs :
  • Nombre de doctorants :
Modifier

Mots-clés

architecture et systèmes embarqués Modifier

Nos résultats

Offre de technologie

https://www.polarsys.org/projects/polarsys.pop
Modifier

Relations industrielles et scientifiques

Collaborations privées par type d’entreprise

- France :
- International : Mitsubishi Electric, Toyota ITC

Collaborations scientifiques

- France :
- International : IIT Kanpur, Hong Kong Applied Science and Technology Research Institute (ASTRI), TU Kaiserslautern, UC san Diego, ?
- Projets européens : Modifier

Ajoutez votre ou vos demande(s) de modification en cliquant sur "modifier" dans chacun des blocs à rectifier, puis envoyez votre demande pour qu'elle soit validée et prise en compte par l'équipe Plug in labs Ouest.

Etape 1

Panier de modifications

Entité Champ Nouvelle valeur Commentaire Action

Etape 2

Vos coordonnées