Abstract
The increasing complexity and criticality of industrial automation systems, embodied by the concept of Industry 4.0, which bring together concepts like Cyber-Physical Systems, Internet of Things, Big Data and Artificial Intelligence, call for more formality in specifying the technology standards underlying these systems. This chapter presents 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, the analysis presented here paves the way for a better-informed testing strategy in Industry 4.0 systems that implement the protocol. This chapter represents the second case study of the current book.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
T.H.S. Initiative, IPC-HERMES-9852: The global standard for machine-to-machine communication in SMT assembly (version 1.2). Technical report, IPC (2019)
IPC, IPC-SMEMA-9851: Mechanical Equipment Interface Standard. Technical report, IPC - Association Connecting Electronics Industries (2007)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Aziz, B. (2022). Second Case Study: The Hermes Protocol. In: Formal Analysis by Abstract Interpretation. SpringerBriefs in Applied Sciences and Technology. Springer, Cham. https://doi.org/10.1007/978-3-030-91153-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-91153-9_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-91152-2
Online ISBN: 978-3-030-91153-9
eBook Packages: Computer ScienceComputer Science (R0)