Nic Volanschi - De la détection vers la vérification d’activités humaines, dans l’assistance à la personne

14:00
Lundi
18
Nov
2019
Organisé par : 
Yliès Falcone
Intervenant : 
Nic Volanschi, chercheur associé dans l’équipe Phoenix à Inria Bordeaux.
Équipes : 

 

Les 18/11 et 19/11, nous recevrons Nic Volanschi, chercheur associé dans l’équipe Phoenix à Inria Bordeaux.

Le séminaire a lieu le 18/11 à 14h au bâtiment 50C (Inria - 1er étage) sur le site du CEA.

Pour les non-locaux CEA, le plus simple pour venir est d’arriver par le tram, ligne B, arrêt Cité internationale, de traverser la route, et d’entrer sur le site du CEA par l’entrée 5, Minatec. Ne pas passer par l’accueil. Passer à droite du portique de sécurité (vigiles), longer le bâtiment, l’entrée est à 50m sur la gauche, voir logo Inria. Sonner à l’interphone.

 

 

Les services d’assistance à la personne dans une maison intelligente reposent de manière critique sur la connaissance des activités en cours, afin de décider des aides nécessaires. Parmi le grand nombre de travaux sur la détection d’activités, une lignée particulière a été initiée récemment par une approche centrée humain, basée sur la vérification d’activités, préalablement déclarées pour une personne. Cette approche permet de personnaliser finement les applications, ce qui est un facteur-clé pour leur adoption. En revanche, elle apporte un nouveau défi au développement de services d’assistance, devant être adaptés à de nombreux cas particuliers. Nous montrerons comment les langages dédiés (DSLs) peuvent apporter une réponse efficace à ce défi, passant à l’échelle d’applications réalistes. Ensuite, nous discuterons comment la vérification d’activité peut être ramenée au cadre théorique établi du monitoring online de spécifications temporelles. Nous conclurons sur les perspectives ouvertes par ce rapprochement afin de réaliser des services d’assistance à la fois de taille réelle et offrant des garanties apportées par les méthodes formelles.