Sites Inria

Il y a 3 Résultats avec le mot clé : "ESPRESSO"

Récompense

Jean-Pierre Talpin récompensé 20 ans après

Alexandre Papin - 12/07/2012

Jean-Pierre Talpin, responsable de l’équipe Espresso, vient de recevoir le LICS test-of-time Award 20 ans après la publication de son papier sur « The type and effect discipline ».

Mots-clés :

Accueil > Centre > Rennes > Actualités > Jean-Pierre Talpin récompensé 20 ans après

Lire la suite

Polychrony, une boite à outils pour systèmes embarqués

Technologie - Systèmes embarqués

Polychrony systèmes embarqués

Jean-Michel Prima - 10/11/2010

Construit autour du langage Signal, Polychrony facilite le développement intégré d'applications embarquées temps réel. C'est l'aboutissement d'un long cycle de recherche sur la modélisation formelle, comme l'expliquent les scientifiques de l'équipe-projet Espresso.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Polychrony systèmes embarqués

Lire la suite

Jean-Pierre Talpin, responsable de l'équipe TEA

Recherche

Le temps comme fil rouge de l'ingénierie de systèmes

Jean-Michel Prima - 28/07/2015

Nouvelle équipe dirigée par le scientifique Jean-Pierre Talpin au centre de recherche Rennes - Bretagne Atlantique, TEA entreprend de revisiter la notion du temps dans les systèmes embarqués. L'enjeu : mieux accorder les composants du réel, de l'électronique et du logiciel.

Mots-clés :

Accueil > Recherches > Actualités > Le temps comme fil rouge de l'ingénierie de systèmes

Lire la suite

Haut de page

Suivez Inria