- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche TRIO
Temps réel et interopérabilité
- Responsable : Liliana Cucu
- Type : équipe
- Centre(s) de recherche : Nancy
- Domaine : Algorithmique, programmation, logiciels et architectures
- Thème : Systèmes embarqués et temps réel
Présentation de l'équipe
Equipes de recherche du même thème :
- AOSTE - modèles et méthodes pour l'analyse et l'optimisation des systèmes temps réel embarqués
- CONVECS - Construction de systèmes concurrents vérifiés
- DART - Apports du parallélisme données au temps réel
- ESPRESSO - Environnement de spécification de programmes réactifs synchrones
- MUSYNC - Synchronous Realtime Processing and Programming of Music Signals
- PARKAS - Parallélisme de Kahn Synchrone
- POP ART - Contrôle-commande temps réel sûr
- S4 - Synthèse et supervision de systèmes, scénarios
- VERTECS - modèles et techniques de vérification appliqués au test et au contrôle de systèmes réactifs
Contact
Responsable de l'équipe
Liliana Cucu
Rechercher une équipe
Par centre de recherche Inria
Inria
Inria.fr
Inria Channel

Voir aussi