Une approche formelle pour détecter et corriger des incohérences opérationnelles dans les architectures microservices

La définition d’un niveau de service réalisable pour les systèmes d’information contemporains est une activité complexe. L’utilisation d’architectures logicielles granulaires, comme celle de microservices, demande une analyse locale et globale des capacités de chaque composante d’un système informatique. L’analyse manuelle des profils opérationnels de ces composantes par un expert humain rencontre des limitations cognitives. En effet, tracer le portrait des interactions entre des centaines, voire des milliers de services composant de multiples systèmes d’information manuellement est un défi actuel. Cela entraîne souvent des incohérences, voire des contradictions, dans les objectifs de niveau de service du système et des actions de stabilisation pouvant être mises en place par les différents services le constituant. Dans ce projet, nous nous intéressons à la détection et à la correction de ces incohérences.

Ce projet répondra à cette problématique, premièrement, par la définition formelle du profil opérationnel des composantes d’un système d’information, notamment les propriétés liées à la cohérence, deuxièmement, par un ensemble d’algorithmes permettant d’identifier si des incohérences existent, et enfin par un algorithme d’optimisation permettant de corriger l’incohérence trouvée. Les résultats attendus représenteront un gain important en gestion de services informatiques et en prévention des instabilités, pouvant bénéficier à plusieurs organisations canadiennes.

Faculty Supervisor:

Mehdi Adda

Student:

Partner:

Technische Universität Wien

Discipline:

Computer science

Sector:

Information and Communications Technology (ICT); Sustainability and the Environment

University:

Université du Québec à Rimouski

Program: