A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems
المؤلفون المشاركون
Zhang, Long
Hu, Wenyan
Qu, Wanxia
Guo, Yang
Li, Sikun
المصدر
العدد
المجلد 2017، العدد 2017 (31 ديسمبر/كانون الأول 2017)، ص ص. 1-10، 10ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2017-05-10
دولة النشر
مصر
عدد الصفحات
10
التخصصات الرئيسية
الملخص EN
Mobile cyber-physical systems (CPSs) are very hard to verify, because of asynchronous communication and the arbitrary number of components.
Verification via model checking typically becomes impracticable due to the state space explosion caused by the system parameters and concurrency.
In this paper, we propose a formal approach to verify the safety properties of parameterized protocols in mobile CPS.
By using counter abstraction, the protocol is modeled as a Petri net.
Then, a novel algorithm, which uses IC3 (the state-of-the-art model checking algorithm) as the back-end engine, is presented to verify the Petri net model.
The experimental results show that our new approach can greatly scale the verification capabilities compared favorably against several recently published approaches.
In addition to solving the instances fast, our method is significant for its lower memory consumption.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Zhang, Long& Hu, Wenyan& Qu, Wanxia& Guo, Yang& Li, Sikun. 2017. A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems. Mobile Information Systems،Vol. 2017, no. 2017, pp.1-10.
https://search.emarefa.net/detail/BIM-1189106
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Zhang, Long…[et al.]. A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems. Mobile Information Systems No. 2017 (2017), pp.1-10.
https://search.emarefa.net/detail/BIM-1189106
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Zhang, Long& Hu, Wenyan& Qu, Wanxia& Guo, Yang& Li, Sikun. A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems. Mobile Information Systems. 2017. Vol. 2017, no. 2017, pp.1-10.
https://search.emarefa.net/detail/BIM-1189106
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1189106
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر