Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks
Joint Authors
Source
Issue
Vol. 2015, Issue 2015 (31 Dec. 2015), pp.1-7, 7 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2015-06-22
Country of Publication
Egypt
No. of Pages
7
Main Subjects
Abstract 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.
American Psychological Association (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
Modern Language Association (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
American Medical Association (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
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1070179