Modeling and analysing an industry 4.0 communication protocol
- Submitting institution
-
University of Portsmouth
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 25020315
- Type
- D - Journal article
- DOI
-
10.1109/JIOT.2020.2999325
- Title of journal
- IEEE Internet of Things Journal
- Article number
- -
- First page
- 10120
- Volume
- 7
- Issue
- 10
- ISSN
- 2327-4662
- Open access status
- Compliant
- Month of publication
- June
- Year of publication
- 2020
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
0
- Research group(s)
-
C - Cyber Security
- Citation count
- 0
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper demonstrates that formal testing techniques, when applied to standards, can uncover many hidden testing scenarios. The Hermes standard is pivotal to both IoT and Industry 4.0; this paper has shown that products based on this standard will need to undergo more testing than it is suggested in the Hermes standard specification. Adopting the findings in this paper will make IoT/Industry 4.0 devices more robust and facilitate the adoption of new devices.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -