Modélisation et spécification formelle de contexte et sa prédiction dans les systèmes diffus : une approche basée sur la logique temporelle et le modèle stochastique

Ameyed, Darine (2017). Modélisation et spécification formelle de contexte et sa prédiction dans les systèmes diffus : une approche basée sur la logique temporelle et le modèle stochastique. Thèse de doctorat électronique, Montréal, École de technologie supérieure.

Prévisualisation	PDF Télécharger (3MB) | Prévisualisation
Prévisualisation	PDF Télécharger (1MB) | Prévisualisation

Résumé

Depuis son introduction par Mark Weseir, l’informatique omniprésente ne cesse de solliciter de l’intérêt croissant dans la sphère de l’innovation technologique. Soutenue par l’évolution technologique des systèmes embarqués, la miniaturisation et l’intégration de divers dispositifs communicants dans les applications informatiques, cette vision d’une technologie invisible, distribuée et intelligente devient de plus en plus concrète. Dépassant ainsi, les systèmes classiques vers des systèmes omniprésents sensibles à leurs contextes assistant d’une manière active et intelligente ses usagers. En leur apportant aide et commodité dans l’accomplissement des activités quotidiennes, et ce dans différents domaines.

Mettre en place ces systèmes omniprésents proactifs, intelligents et permettant une utilisation adaptée, naturelle et conviviale soulève encore beaucoup de défis pour assurer une proactivité sensible au contexte et adéquate au besoin de l’utilisateur. La majorité des travaux sur l’omniprésence se sont concentrés sur le contexte actuel. Par contre une nouvelle tendance appuie l’idée de l’importance de prendre en considération l’évolution du contexte pour prévoir un contexte futur et permettre de fournir une adaptation active et rapide à des situations futures. Montrant aussi l’importance de développer un cadre formel et général pour le contexte et la prédiction, sauf que jusque-là les approches formelles de la prédiction du contexte général sont manquantes.

Ce travail s’inscrit dans ce cadre. Et il porte sur le formalisme du contexte et la prédiction du contexte dans les systèmes omniprésents proactifs. Il vise à spécifier et modéliser le contexte et la prédiction du contexte futur dans un cadre formel tenant compte de l’évolution temporelle logique de l’espace de service. En premier lieu, nous avons défini le contexte sous une vision multidimensionnelle respectant une logique d’évolution spatiotemporelle. En second lieu, nous avons spécifié et modélisé le contexte dans un cadre formel logique intégrant la dimension spatiotemporelle. À la fin, nous avons spécifié et modélisé la prédiction de contexte futur dans un cadre formel et logique et sous une vision multidimensionnelle, dynamique et non déterministe basée sur la logique PCTL et le modèle de vérification stochastique.

Type de document:	Mémoire ou thèse (Thèse de doctorat électronique)
Renseignements supplémentaires:	"Thèse par articles présentée à l'École de technologie supérieure comme exigence partielle à l'obtention du doctorat en génie." Bibliographie : pages 185-197.
Mots-clés libres:	Informatique sensible au contexte Modèles mathématiques. Informatique sensible au contexte Innovations. Informatique omniprésente. Informatique sémantique. système diffus, proactif, prédiction du contexte, méthode formelle, PCTL
Directeur de mémoire/thèse:	Directeur de mémoire/thèse Tadj, Chakib
Codirecteur:	Codirecteur Miraoui, Moeiz
Programme:	Doctorat en génie > Génie
Date de dépôt:	13 avr. 2017 14:19
Dernière modification:	16 janv. 2018 18:26
URI:	https://espace.etsmtl.ca/id/eprint/1867

Gestion Actions (Identification requise)

Dernière vérification avant le dépôt