Vérification de modèle de nuage hybride à l'aide de la couche d'interaction de HARMS pour les environnements de vie assistée ambiants

Hybrid cloud model checking using the interaction layer of HARMS for ambient assistive living environments

• Auteur / Autrice : Mauricio Alejandro Gomez Morales
• Direction : Yacine Amirat, Eric T. Matson
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 17/12/2018
• Etablissement(s) : Paris Est en cotutelle avec Purdue university (West Lafayette, Ind.)
• Ecole(s) doctorale(s) : École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire Images, Signaux et Systèmes Intelligents (Créteil) - Laboratoire Images- Signaux et Systèmes Intelligents / LISSI
• Jury : Président / Présidente : Kamel Barkaoui
• Jury : Examinateurs / Examinatrices : Kamel Barkaoui, Patrick Reigner, Stéphane Galland, Abdelghani Chibani, Kurosh Madani
• Jury : Rapporteurs / Rapporteuses : Patrick Reigner, Stéphane Galland

Mots clés

Mots clés contrôlés

Mesures de sûreté

Informatique dans les nuages

Aide aux personnes âgées

Mots clés libres

Systèmes multi-agent

Cloud computing

Multi-Agent systems

Cloud computing

Résumé

Mon sujet de thèse est motivé par les personnes innombrables qui, en raison de leur âge perdent une partie de leurs capacités et ont besoin d'aide pour accomplir leurs activités quotidiennes. Dans ce cas, peu de personnes âgées seront aidés dans les scénarios où un dispositif tel qu'un robot doit être en mesure d'assurer un service entièrement continu.

My thesis topic is motivated by the non countable people that because of getting to certain age lose some of their capabilities and need help to accomplish their daily activities. In this case, soon elderly people will be helped in scenarios where a device such as a robot should be able to assure fully continous service.