En informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé. Dans notre travail on a spécifié le protocole FDDI (Fiber Distributed Data Interface) a fin d’avoir un modèle pour le simuler et le vérifier formellement avec l’outil UPPAAL, Ainsi avec ce travail nous pouvons montrer commet modéliser, simuler et vérifier formellement des systèmes temps réel.