Model Checking basés sur le Cloud pour assurer la fiabilité et la robustesse de Systèmes cognitifs et des environnements Cloud Robotics

par Mauricio alejandro Gomez Morales

Projet de thèse en Informatique

Sous la direction de Yacine Amirat et de Abdelghani Chibani.

Thèses en préparation à Paris Est en cotutelle avec Purdue University - West Lafayette , dans le cadre de MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication , en partenariat avec LISSI - Laboratoire Images, Signaux et Systèmes Intelligents (laboratoire) depuis le 01-12-2016 .


  • Résumé

    Mon sujet de thèse est motivée par les personnes non dénombrables qu'en raison de se rendre à certain âge perdre 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.

  • Titre traduit

    Cloud based Model Checking for ensuring the dependability and robustness of Cognitive Systems and Cloud Robotics Environments


  • Résumé

    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.