Browsing by Author "Benrahla, Hicham"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Spécification formelle du protocole CAN
    (Université Oum El Bouaghi, 2011) Benrahla, Hicham; Mokhati, Farid
    Nous élaborons une spécification formelle concernant certaines fonctionnalités du protocole CAN l'un des systèmes embarqués à l'aide - un langage formel basé sur la logique de réécriture, Maude. Une fois son élaboration se fait, la spécification en question est vérifiée par le LTL model-checker une technique de model-checking, justement choisi car il est spécifique au langage Maude, déjà mentionné ci-dessus. Un outil graphique est suggéré de simplifier la création, l'utilisation et le test des spécifications différentes liées à certaines fonctionnalités.