• وارسی پروتکل تکرار انتخابی مبتنی بر کانال سه حالته با استفاده از ابزار spin

    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1392/07/24
    • تاریخ انتشار در تی پی بین: 1392/07/24
    • تعداد بازدید: 1688
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
    با رشد روزافزون شبکه های کامپیوتری در جوامع بشری، اکثر خدمات در این جوامع بر بستر شبکه ها ارائه می گردد که بسیاری از این خدمات از اهمیت خاصی برخوردار هستند. با این حال، برای جلوگیری از اختلال در خدمات، باید از صحت طراحی و پیاده سازی عوامل دخیل در شبکه اطمینان حاصل کرد. یکی از این عوامل، پروتکل های شبکه هستند که عملکرد درست هر یک از آنها، از اهمیت زیادی برخوردار است. بررسی مدل، روشی خودکار برای وارسی سیستم های همروند حالت متناهی است. این روش در عمل به صورت دقیق برای وارسی پروتکل های ارتباطی استفاده شده است. با توجه به ویژگی خودکار بودن فرآیند بررسی مدل، این روش می تواند برای وارسی پروتکل های شبکه، که ویژگی های ایمنی و عاقبت به خیری در آنها ضرورت دارد، بصورت کارآمد استفاده شود. در این مقاله، مدل پروتکل تکرار انتخابی شبکه را به عنوان یک پروتکل پرکاربرد در شبکه هاب بی سیم، مدل سازی کرده، سپس خواص مورد انتظار این پروتکل را با ارائه فرمول های منطق زمانی خطی با استفاده از ابزار بررسی مدل نمادین spin وارسی می کنیم. نتایج حاصل از پیاده سازی و وارسی مدل پروتکل تکرار انتخابی، اهمیت استفاده از روش بررسی مدل در کاربردهایی مشابه و اقتضائات آنها را نشان می دهد.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم
مقالات جدیدترین رویدادها