Cet article présente la problématique d'une thèse initiée en novembre 2018, ainsi qu'une syn-thèse de la revue de littérature sur le syndrome d'épuisement professionnel. Nous cherchons à étudier l'apport d'une approche formelle de développement incrémental dans le domaine de la santé et des applications mobiles, pour spécifier, concevoir, évaluer et développer une solution lo-gicielle d'aide au diagnostic de ce syndrome. Nous expliquons les choix faits à ce jour aussi bien pour le versant psychologique que pour le versant informatique. Le cas particulier de l'épuisement professionnel nous semble approprié à ce type de recherche. Les approches formelles permettent de détecter au plus tôt des erreurs de spécification et de conception. Ces approches formelles seront associées à une technique de développement incrémental maintenant les propriétés de vivacité et de sûreté du système tout au long du développement. Nous utiliserons également l'approche Agile afin de favoriser les échanges entre utilisateurs et concepteurs. Le système réalisé vise ainsi à répondre aux exigences non fonctionnelles de fiabilité, robustesse, performance et utilisabilité.