-
دسته بندی:
شبکه های VANET - VANET NETWORKS
سال انتشار:
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 کیلوبایت
قیمت: 54600 تومان
توضیحات اضافی:
اگر این مقاله را پسندیدید آن را در شبکه های اجتماعی به اشتراک بگذارید (برای به اشتراک گذاری بر روی ایکن های زیر کلیک کنید)
|
|
|
|
|
|
تعداد نظرات : 0