کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6925872 | 1448877 | 2018 | 4 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Automatically proving the correctness of vehicle coordination
ترجمه فارسی عنوان
به طور خودکار اثبات صحت هماهنگی وسایل نقلیه
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نرم افزارهای علوم کامپیوتر
چکیده انگلیسی
In the next generation of road-based transportation systems, where vehicles exchange information and coordinate their actions, a major challenge will be to ensure that the interaction rules are safe and lead to progress. In this paper we address the problem of automatically verifying the correctness of such distributed vehicular coordination protocols. We propose a novel modeling approach for communicating mobile entities based on the concept of satisfiability modulo theories (SMT). We apply this method to an intersection collision avoidance protocol and show how the method can be used to investigate the settings under which such a protocol achieves safety and progress.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: ICT Express - Volume 4, Issue 1, March 2018, Pages 51-54
Journal: ICT Express - Volume 4, Issue 1, March 2018, Pages 51-54
نویسندگان
Mikael Asplund,