Modeling and analysing an industry 4.0 communication protocol

Benjamin Aziz

doi:10.1109/JIOT.2020.2999325

Modeling and analysing an industry 4.0 communication protocol

Benjamin Aziz

School of Computing

Research output: Contribution to journal › Article › peer-review

397 Downloads (Pure)

Abstract

The increasing complexity and criticality of industrial automation systems, embodied by the concept of Industry 4.0, which brings together concepts like Cyber-physical systems, the Internet-of-Things, Big Data and Artificial Intelligence, calls for more formality in specifying the technology standards underlying these systems. We define in this paper a formal model of an Industry 4.0 machine-2-machine communication protocol, Hermes, used in specifying electronic board transfers in an assembly line. Our analysis of the formal specification reveals that, despite the robustness of the protocol, many testing scenarios have been ignored in the protocol standard and in particular, scenarios that include simultaneous machine errors. Therefore, our work paves the way for a better informed testing strategy in Industry 4.0 systems that implement the protocol.

Original language	English
Pages (from-to)	10120-10127
Number of pages	8
Journal	IEEE Internet of Things Journal
Volume	7
Issue number	10
Early online date	1 Jun 2020
DOIs	https://doi.org/10.1109/JIOT.2020.2999325
Publication status	Published - 11 Oct 2020

Keywords

communication protocols
cyber-physical systems
formal analysis
Industry 4.0
Internet of Things (IoT)

Access to Document

10.1109/JIOT.2020.2999325

Modelling and analysing post-print
© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Accepted author manuscript (Post-print), 394 KB

Cite this

@article{2208e6b3a47f47f6847914287ccf9a3c,

title = "Modeling and analysing an industry 4.0 communication protocol",

abstract = "The increasing complexity and criticality of industrial automation systems, embodied by the concept of Industry 4.0, which brings together concepts like Cyber-physical systems, the Internet-of-Things, Big Data and Artificial Intelligence, calls for more formality in specifying the technology standards underlying these systems. We define in this paper a formal model of an Industry 4.0 machine-2-machine communication protocol, Hermes, used in specifying electronic board transfers in an assembly line. Our analysis of the formal specification reveals that, despite the robustness of the protocol, many testing scenarios have been ignored in the protocol standard and in particular, scenarios that include simultaneous machine errors. Therefore, our work paves the way for a better informed testing strategy in Industry 4.0 systems that implement the protocol.",

keywords = "communication protocols, cyber-physical systems, formal analysis, Industry 4.0, Internet of Things (IoT)",

author = "Benjamin Aziz",

year = "2020",

month = oct,

day = "11",

doi = "10.1109/JIOT.2020.2999325",

language = "English",

volume = "7",

pages = "10120--10127",

journal = "IEEE Internet of Things Journal",

issn = "2327-4662",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "10",

}

TY - JOUR

T1 - Modeling and analysing an industry 4.0 communication protocol

AU - Aziz, Benjamin

PY - 2020/10/11

Y1 - 2020/10/11

N2 - The increasing complexity and criticality of industrial automation systems, embodied by the concept of Industry 4.0, which brings together concepts like Cyber-physical systems, the Internet-of-Things, Big Data and Artificial Intelligence, calls for more formality in specifying the technology standards underlying these systems. We define in this paper a formal model of an Industry 4.0 machine-2-machine communication protocol, Hermes, used in specifying electronic board transfers in an assembly line. Our analysis of the formal specification reveals that, despite the robustness of the protocol, many testing scenarios have been ignored in the protocol standard and in particular, scenarios that include simultaneous machine errors. Therefore, our work paves the way for a better informed testing strategy in Industry 4.0 systems that implement the protocol.

AB - The increasing complexity and criticality of industrial automation systems, embodied by the concept of Industry 4.0, which brings together concepts like Cyber-physical systems, the Internet-of-Things, Big Data and Artificial Intelligence, calls for more formality in specifying the technology standards underlying these systems. We define in this paper a formal model of an Industry 4.0 machine-2-machine communication protocol, Hermes, used in specifying electronic board transfers in an assembly line. Our analysis of the formal specification reveals that, despite the robustness of the protocol, many testing scenarios have been ignored in the protocol standard and in particular, scenarios that include simultaneous machine errors. Therefore, our work paves the way for a better informed testing strategy in Industry 4.0 systems that implement the protocol.

KW - communication protocols

KW - cyber-physical systems

KW - formal analysis

KW - Industry 4.0

KW - Internet of Things (IoT)

U2 - 10.1109/JIOT.2020.2999325

DO - 10.1109/JIOT.2020.2999325

M3 - Article

SN - 2327-4662

VL - 7

SP - 10120

EP - 10127

JO - IEEE Internet of Things Journal

JF - IEEE Internet of Things Journal

IS - 10

ER -

Modeling and analysing an industry 4.0 communication protocol

Abstract

Keywords

Access to Document

Fingerprint

Cite this