1. |
- Kang, Eun-Young, et al.
(författare)
-
Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation
- 2023
-
Ingår i: 2023 12th Mediterranean Conference on Embedded Computing (MECO). - : IEEE conference proceedings. - 9798350322910 ; , s. 1-8
-
Konferensbidrag (refereegranskat)abstract
- Key to reliable manufacturing systems is ensuring the trustworthiness of the decision-making and control mechanisms that supplant human control, i.e., systems need to remain safe while being resilient against functional failures, unpredictable changes, and cyber-security threats. We present a correct-by-construction approach to identify and analyze essential requirements that ensure the safety and security of a manufacturing system using a combination of System Theoretic Process Analysis (STPA)-based verification and attack simulation. This approach utilizes formal modeling and analysis to remove ambiguities in the requirement and specify safety properties that should be satisfied in system design. Potential safety hazards are identified using STPA-based model checking and possible cyber-security threats are diagnosed through attack simulation. Additional safety and security constraints inhibiting the hazards and threats are generated to improve the system design accordingly. Our approach is demonstrated on an autonomous assembly line system case study.
|
|
2. |
- Opacin, Selma, et al.
(författare)
-
Developing and Evaluating MQTT Connectivity for an Industrial Controller
- 2023
-
Ingår i: Mediterranean Conf. Embed. Comput., MECO. - : Institute of Electrical and Electronics Engineers Inc.. - 9798350322910
-
Konferensbidrag (refereegranskat)abstract
- Technical advances as well as continuously evolving business demands are reshaping the need for flexible connectivity in industrial control systems. A way to achieve such needs is by using a service-oriented approach, where a connectivity service middleware provides controller as well as protocol-specific interfaces. The Message Queuing Telemetry Transport (MQTT) protocol is a widely used protocol for device-to-device communication in the Internet of Things (IoT). However it is not commonly integrated in industrial control systems. To address this gap, this paper describes the development and implementation of a prototype of a connectivity service middleware for MQTT within an industrial private control network. The prototype implementation is done in the context of an industrial controller, and used in a simulated modular automation system. Furthermore, various deployment scenarios are evaluated with respect to response time and scalability of the connectivity service.
|
|