Stage M2 : Utilisation des Automates Temporisés avec Gardes pour le calcul de la Durée de Vie Résiduelle au niveau Système