Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks
المؤلفون المشاركون
المصدر
العدد
المجلد 2015، العدد 2015 (31 ديسمبر/كانون الأول 2015)، ص ص. 1-7، 7ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2015-06-22
دولة النشر
مصر
عدد الصفحات
7
التخصصات الرئيسية
الملخص EN
Accurate and reliable routing protocols with Quality of Service (QoS) support determine the mission-critical application efficiency in WSNs.
This paper proposes a model-checking design driven framework for designing the QoS-based routing protocols of WSNs, which involves the light-weight design process, the timed automata model, and the alternative QoS verification properties.
The accurate feedback of continually model checking in the iterative design process effectively stimulates the parameter tuning of the protocols.
We demonstrate the straightforward and modular characteristics of the proposed framework in designing a prototype QoS-based routing protocol.
The prototype study shows that the model-checking design framework may complement other design methods and ensure the QoS implementation of the QoS-based routing protocol design for WSNs.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Chen, Zhi& Peng, Ya& Yue, Wenjing. 2015. Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks. Journal of Sensors،Vol. 2015, no. 2015, pp.1-7.
https://search.emarefa.net/detail/BIM-1070179
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Chen, Zhi…[et al.]. Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks. Journal of Sensors No. 2015 (2015), pp.1-7.
https://search.emarefa.net/detail/BIM-1070179
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Chen, Zhi& Peng, Ya& Yue, Wenjing. Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks. Journal of Sensors. 2015. Vol. 2015, no. 2015, pp.1-7.
https://search.emarefa.net/detail/BIM-1070179
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1070179
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر