Algorithmique, programmation, logiciels et architectures
Dans la société numérique actuelle, les questions de sûreté et fiabilité des systèmes et des logiciels, de protection de données, de sécurité, d'authentification ou de certification sont devenues cruciales. Les équipes de l'INRIA s'attèlent à développer des méthodes et des outils pour y répondre.
Systèmes embarqués et temps réel
- 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
- TRIO - Temps réel et interopérabilité
- VERTECS - modèles et techniques de vérification appliqués au test et au contrôle de systèmes réactifs
Rechercher une équipe
Par centre de recherche Inria
Par domaine
- Mathématiques appliquées, calcul et simulation
- Algorithmique, programmation, logiciels et architectures
- Réseaux, systèmes et services, calcul distribué
- Perception, cognition, interaction
- STIC pour les sciences de la vie et de l'environnement
Inria
Inria.fr
Inria Channel
