Browsing by Author "MILI, Soufyane"

Now showing 1 - 1 of 1
  • Thumbnail Image
    ItemOpen Access
    Spécification et vérification des systèmes temps réel
    (2017) MILI, Soufyane
    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.