Vérification des méthodes d'analyse dans les systèmes temps réel