Bienvenue
Document Actions
L'équipe projet Espresso (Environnement de Spécification de Programmes RÉactifS SynchrOnes) est une équipe de recherche de l'IRISA. L'objectif de Espresso est de proposer les modèles, méthodes et outils permettant la conception des composants logiciels répondant au plus haut niveau de fiabilité pour l'ingénierie des systèmes embarqués. Pour cela, le projet prétend à démontrer que l'approche synchrone favorise la réutilisation de composants logiciels réactifs et permet de les déployer en temps et coûts minimaux, sur un spectre d'architectures allant des circuits aux systèmes distribués, et dans un cadre mathématique offrant les garanties de fiabilité maximales.
Mettant l'accent sur l'utilisation de méthodes formelles pour parvenir à l'objectif envisagé, le projet développe, améliore, étend et unifie les modèles, langages et outils de programmation dédiés à ces domaines d'application.Rapports d'activités :