Détail d'une fiche   Version PDF

DEVINE (SR0953TR)

Vérification efficace pour des systèmes distribués fiables

SUMO (SR0671YR) →  DEVINE


Statut: Décision signée

Responsable : Nathalie Bertrand

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2024" : A2.4. Méthodes formelles pour vérification, sureté, certification , A2.4.2. Model-checking , A2.5.5. Test logiciel , A8.9. Evaluation de performances , A8.11. Théorie des jeux

Mots-clés de "B - Autres sciences et domaines d'application - 2024" : B5.1. Usine du futur , B6.6. Systèmes embarqués , B7.1. Gestion des traffics

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Preuves et vérification

Période : 01/01/2024 -> 31/12/2027
Dates d'évaluation :

Etablissement(s) de rattachement : CNRS, U. RENNES
Laboratoire(s) partenaire(s) : IRISA (UMR6074)

CRI : Centre Inria de l'Université de Rennes
Localisation : Centre Inria de l'Université de Rennes
Code structure Inria : 031142-0

Numéro RNSR : 202424472A
N° de structure Inria: SR0953TR

Présentation

L'objectif global de l'équipe du projet Devine est de contribuer à la conception de systèmes distribués fiables qui intègrent des aspects quantitatifs tels que le temps, le coût ou les probabilités. Devine propose de développer des méthodes formelles efficaces basées sur des modèles pour vérifier et assurer leurs propriétés fonctionnelles et non fonctionnelles.


Axes de recherche


Relations industrielles et internationales