Equipe-projet

KOPERNIC

Adapter le raisonnement pire cas à différentes criticités
Adapter le raisonnement pire cas à différentes criticités

Un système cyber-physique (SCP) est formé de composants cyber (informatique) et de composants physiques qui communiquent entre eux. L'équipe Kopernic étudie les propriétés temporelles (temps d'exécution d'un programme ou ordonnançabilité d'un ensemble de programmes communicant) des composants cyber des SCP. Un composant cyber est en général formé de fonctions possédant des niveaux différents de criticité relativement aux propriétés temporelles, donc une solution à ce problème doit être accompagnée de preuves appropriées à chaque niveau de criticité. Une solution est appropriée à un niveau de criticité si toutes les fonctions correspondantes remplissent les exigences de ce niveau. En fonction de leurs fondements mathématiques, les solutions sont : soit non probabilistes quand toutes les propriétés temporelles sont estimées ou bornées par des valeurs numériques, soit probabilistes quand au moins une propriété temporelle est estimée ou bornée par une fonction de distribution.

L'équipe Kopernic propose une solution orientée système au problème consistant à étudier les propriétés temporelles des composants cyber des SCP. La solution sera fondée sur la composition d'approches probabilistes et non probabilistes.

Centre(s) inria
Paris

Membres

Responsable de l'équipe

Christine Anocq

Assistant(e) de l'équipe

Nelly Maloisel

Assistant(e) de l'équipe