Browsing by Author "Benrahla, Hicham"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Spécification formelle du protocole CAN(Université Oum El Bouaghi, 2011) Benrahla, Hicham; Mokhati, FaridNous é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.