Contradictions of identification of safety and security requirements for industrial cyber-physical systems

Sun, Z., Ding, Y., Pei, K. and Yang, S.-H. ORCID: https://orcid.org/0000-0003-0717-5009 (2023) Contradictions of identification of safety and security requirements for industrial cyber-physical systems. IEEE Internet of Things. ISSN 2327-4662 doi: 10.1109/JIOT.2023.3332128

Abstract/Summary

Industrial cyber-physical systems (iCPSs) are the backbone of the fourth industrial revolution, facing more safety and security (S&S) challenges compared to traditional industrial systems. One of the most critical challenges is the collaborative analysis of S&S. Considerable efforts have been made towards integrating S&S and resolving their contradictions. However, a significant research gap remains regarding the accurate definition of contradictions in S&S requirements, along with an identification methodology. This study presents a systematical methodology to address this challenge. We propose two sufficient conditions that result in contradictions and provide algorithms to help their identification. Additionally, three measures have been proposed to reduce the difficulty of contradictions identification, including a conceptual model for iCPSs with S&S objectives to constrain objects and interactions within the model, a method for unifying the elicitation of S&S requirements, and a requirements template for coordinating the representation of S&S requirements. To provide insight into the operations of the methodology, we demonstrate its application in a smart factory. The results show that this approach can effectively identify the hidden contradictions in S&S requirements

Item Type	Article
URI	https://reading-clone.eprints-hosting.org/id/eprint/114013
Identification Number/DOI	10.1109/JIOT.2023.3332128
Refereed	No
Divisions	Science > School of Mathematical, Physical and Computational Sciences > Department of Computer Science
Publisher	IEEE
Download/View statistics	View download statistics for this item