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

Maria Emilia Cambronero | Zendy; Hermenegilda Macia | Zendy; Valentin Valero | Zendy; Luis Orozco-Barbosa | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Maria Emilia Cambronero,

Hermenegilda Macia,

Valentin Valero,

Luis Orozco-Barbosa

Publication year - 2018

Publication title -

ieee access

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.587

H-Index - 127

ISSN - 2169-3536

DOI - 10.1109/access.2018.2833213

Subject(s) - aerospace , bioengineering , communication, networking and broadcast technologies , components, circuits, devices and systems , computing and processing , engineered materials, dielectrics and plasmas , engineering profession , fields, waves and electromagnetics , general topics for engineers , geoscience , nuclear engineering , photonics and electrooptics , power, energy and industry applications , robotics and control systems , signal processing and analysis , transportation

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research