An Activity Description Language for Activity Recognition

Abstract : Activity recognition aims at recognizing and understanding the movements, actions, and objectives of mobile objects. These objects can be humans, animals, or simple artefacts. Many important and critical applications such as surveillance or health care require some form of (human) activity recognition. Existing languages can be used to describe models of activities, but they are difficult to master by non computer scientists (ex: doctors). In this paper, we present a new language dedicated to end users, to describe their activities. We call it ADeL (Activity Description Language). This language is intended to be part of a complete recognition system. Such a system has to be real time, reactive, correct, and dependable. We choose the synchronous approach because it respects these characteristics, it ensures determinism and safe parallel composition, and it allows verification of systems using model-checking. Relying on the synchronous approach, we supply our language with two complementary formal semantics and we provide it with two formats: textual and graphical. This paper focuses on the description of the ADeL language.
Type de document :
Communication dans un congrès
IINTEC 2017 - IEEE International Conference on Internet of Things, Embedded Systems and Communications, Oct 2017, Gafsa, Tunisia. pp.6
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01649674
Contributeur : Ines Sarray <>
Soumis le : mercredi 11 avril 2018 - 10:45:18
Dernière modification le : mercredi 11 avril 2018 - 12:00:21

Fichier

IINTEC_sarray_vf.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01649674, version 1

Collections

Citation

Ines Sarray, Annie Ressouche, Sabine Moisan, Jean-Paul Rigault, Daniel Gaffé. An Activity Description Language for Activity Recognition. IINTEC 2017 - IEEE International Conference on Internet of Things, Embedded Systems and Communications, Oct 2017, Gafsa, Tunisia. pp.6. 〈hal-01649674v1〉

Partager

Métriques

Consultations de la notice

221

Téléchargements de fichiers

15