Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets

The widespread use of sensor networks has enabled the deployment of a wide variety of services. In order to reduce maintenance costs without jeopardizing the reliability of the services, developers and researchers are exploring ways to reduce the complexity of the protocols and their underlying hardware infrastructure. However, the verification and evaluation of novel solutions must also be taken as a key design parameter in the development of reliable and cost-effective solutions. In this paper, we develop a timed colored Petri net (TCPN) model of the 1-wire protocol, which is one of the most popular and simplest protocols currently used in the implementation of sensor platforms. The use of TCPNs is justified by the fact that they provide us with the means to evaluate the qualitative and quantitative properties of the protocol. Our results include the analysis of the absence of deadlocks as well as the quantitative evaluation of the protocol. Our numerical results are also confirmed by using an event-driven simulator.

[1]  Moi-Tin Chew,et al.  Electrical Power Monitoring System Using Thermochron Sensor and 1-Wire Communication Protocol , 2008, 4th IEEE International Symposium on Electronic Design, Test and Applications (delta 2008).

[2]  Lars Michael Kristensen,et al.  Applications of Coloured Petri Nets for Functional Validation of Protocol Designs , 2013, Trans. Petri Nets Other Model. Concurr..

[3]  Yan Bo,et al.  The reading data error analysis of 1-wire bus digital temperature sensor DS18B20 , 2012, 2012 Proceedings of International Conference on Modelling, Identification and Control.

[4]  Pavel Cicak,et al.  CPN model of the MODBUS protocol , 2010, 13th Mechatronika 2010.

[5]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[6]  Hehua Zhang,et al.  Modeling a Heterogeneous Embedded System in Coloured Petri Nets , 2014, J. Appl. Math..

[7]  Ibrahim M. Elfadel,et al.  Automatic protocol configuration in single-channel low-power dynamic signaling for IoT devices , 2016, 2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC).

[8]  Xiang Hu,et al.  Efficient modeling and performance analysis for IEEE 802.15.4 with coloured Petri nets , 2017, 2017 IEEE/ACM 25th International Symposium on Quality of Service (IWQoS).

[9]  Karim Mohammadi,et al.  Designing and implementing a reliable thermal monitoring system based on the 1-wire protocol on FPGA for a LEO satellite , 2015 .

[10]  Jonathan Billington,et al.  Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method , 2007, International Journal on Software Tools for Technology Transfer.

[11]  Reinhard German,et al.  Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets , 2001, Perform. Evaluation.

[12]  Ali Khalili,et al.  Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets , 2009, Electron. Notes Theor. Comput. Sci..

[13]  Mohamed Ariff Ameedeen,et al.  A Survey of Petri Net Tools , 2015 .

[14]  Ravinda G. N. Meegama,et al.  FPGA Based Single Chip Solution with 1-Wire Protocol for the Design of Smart Sensor Nodes , 2014, J. Sensors.

[15]  M. Carmen Ruiz,et al.  Petri nets‐based model for the analysis of NORIA protocol , 2015, Concurr. Comput. Pract. Exp..

[16]  Belhassen Zouari,et al.  Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network , 2015, WWIC.

[17]  Juan Boubeta-Puig,et al.  Complex Event Processing Modeling by Prioritized Colored Petri Nets , 2016, IEEE Access.

[18]  Jalel Ben-Othman,et al.  Performance evaluation of a hybrid MAC protocol for wireless sensor networks , 2010, MSWIM '10.

[19]  Jonathan Billington,et al.  On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol , 2009, Trans. Petri Nets Other Model. Concurr..

[20]  Jonathan Billington,et al.  Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol , 2008, Fundam. Informaticae.