Browsing by Author "Khelifi, Aymen"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Spécification formelle du protocole TTP/C
    (Université Oum El Bouaghi, 2011) Khelifi, Aymen; Boutekkouk, Fateh
    Dans notre étude on a fait la spécification formelle des deux algorithmes existant dans le protocole de véhicule TTP/C (Time-Triggered Architecture) qui sont l'algorithme de démarrage des noeuds et celui de bus gardien, notre outil est RT Maude car elle fournit des spécifications en fonctionne du temps. On a aussi testé le bon déroulement de cette spécification avec les propriétés à vérifier à l'aide d'un moyen (Model Checker) donné par le langage Maude.