دانلود مقاله و خرید ترجمه:انتشار پیام‌های امنیتی به خودروها و بررسی با استفاده از چک کردن مدل در VANETs - 2020
بلافاصله پس از پرداخت دانلود کنید
مقالات ترجمه شده شبکه های VANET ( VANET NETWORKS )
  • Dissemination of safety messages to vehicles and verification using model checking in VANETs انتشار پیام‌های امنیتی به خودروها و بررسی با استفاده از چک کردن مدل در VANETs

    سال انتشار:

    2020


    ترجمه فارسی عنوان مقاله:

    انتشار پیام‌های امنیتی به خودروها و بررسی با استفاده از چک کردن مدل در VANETs


    عنوان انگلیسی مقاله:

    Dissemination of safety messages to vehicles and verification using model checking in VANETs


    منبع:

    https://doi:org/10:1016/j:matpr:2020:09:427


    نویسنده:

    M:A: Berlin a, S: Muthusundari a,⇑, C:S: Anita a, D: Rajalakshmi a, A: Balasubramaniam b


    چکیده انگلیسی:

    Model checking is one of the formal verification techniques which is widely used to validate and correct the design errors of communication protocols. Model checking uses algorithms to verify the correctness of the system. This paper presents a complete description of verification methodology of VANET communication protocols using SPIN model checker. Most of the VANET communication protocols use Road Side Units for transmitting safety/traffic related information to far away vehicles. This proposed system presents a verification system for checking the correctness and design errors of VANET communication protocols using model checker. Finally, the simulation and verification results are presented.
    Keywords: Communication protocol | Road side units | Formal verification | SPIN model checker | Safety information


    چکیده فارسی:

    بررسی مدلی یکی از تکنیک‌های تایید رسمی است که به طور گسترده برای تایید و اصلاح خطاهای طراحی پروتکل‌های ارتباطی استفاده می‌شود . بررسی مدل از الگوریتم‌ها برای تایید درستی سیستم استفاده می‌کند . این مقاله یک توصیف کامل از روش‌شناسی تایید پروتکل‌های ارتباطی vanet با استفاده از جستجوگر مدل SPIN ارائه می‌کند . اکثر پروتکل‌های ارتباطی vanet از واحدهای طرف جاده برای انتقال اطلاعات مربوط به ایمنی / ترافیک مربوط به وسایل نقلیه دور استفاده می‌کنند . این سیستم پیشنهادی یک سیستم تایید برای بررسی خطاهای طراحی و طراحی پروتکل‌های ارتباطی vanet با استفاده از کنترل‌کننده مدل ارائه می‌کند . در نهایت , نتایج شبیه‌سازی و تایید ارائه می‌شوند .
    . واژهای کاربردی: پروتکل ارتباطی | واحدهای طرف جاده | تایید رسمی | کنترل‌کننده مدل SPIN | اطلاعات ایمن


    سطح: متوسط
    تعداد صفحات فایل pdf انگلیسی: 7
    تعداد صفحات فایل doc فارسی(با احتساب مراجع): 21

    وضعیت ترجمه عناوین تصاویر و جداول: به صورت کامل ترجمه شده است

    وضعیت ترجمه متون داخل تصاویر و جداول: به صورت کامل ترجمه شده است

    حجم فایل: 529 کیلوبایت


    قیمت: 35000 تومان    28000 تومان (20 % تخفیف)


    توضیحات اضافی:




اگر این مقاله را پسندیدید آن را در شبکه های اجتماعی به اشتراک بگذارید (برای به اشتراک گذاری بر روی ایکن های زیر کلیک کنید)

تعداد نظرات : 0

الزامی
الزامی
الزامی
rss مقالات ترجمه شده rss مقالات انگلیسی rss کتاب های انگلیسی rss مقالات آموزشی
logo-samandehi