Dependability and Security Aspects of Network-Centric Control

Leander, Björn; Johansson, Bjarne; Lindström, Tomas; Holmgren, Olof; Nolte, Thomas; Papadopoulos, Alessandro V.

doi:10.1109/etfa54631.2023.10275344

Cited by 8 publications

(3 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This concept is known as standby redundancy [21]. These controllers, DCN 1 and DCN 2, require communication, typically through a network facilitated by switches [4,16]. Redundant controllers are often paired with dual independent networks for enhanced reliability, as depicted in Figure 4.…”

Section: Network Reference Point Failure Detection (Nrp Fd) Algorithmmentioning

confidence: 99%

“…Control systems evolve from hierarchical, controller-centric structures toward a flatter, network-centric architecture, enhancing interconnectivity and facilitating communication with cloud services and edge devices [4,16]. These advancements have been leveraged for fault tolerance-employing backup DCNs in the cloud or orchestrators to recover from DCN failures [7,9].…”

Section: Related Workmentioning

confidence: 99%

“…The advent of Industry 4.0 is steering industrial controllers towards a network-centric design [2,4,16]. As defined by the Open Process Automation Forum (OPAF), the DCNs and FCI are integrated into a cohesive communication network.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Formal Verification of Consistency for Systems with Redundant Controllers

Johansson,

Pourvatan,

Moezkarimi

et al. 2024

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

A potential problem that may arise in the domain of distributed control systems is the existence of more than one primary controller in redundancy plans that may lead to inconsistency. An algorithm called NRP FD is proposed to solve this issue by prioritizing consistency over availability. In this paper, we demonstrate how by using modeling and formal verification, we discovered an issue in NRP FD where we may have two primary controllers at the same time. We then provide a solution to mitigate the identified issue, thereby enhancing the robustness and reliability of such systems.

show abstract

Section: Network Reference Point Failure Detection (Nrp Fd) Algorithmmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Formal Verification of Consistency for Systems with Redundant Controllers

Johansson,

Pourvatan,

Moezkarimi

et al. 2024

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

show abstract

InSecTT Technologies for the Enhancement of Industrial Security and Safety

Punnekkat,

Markovic,

León

et al. 2024

Studies in Computational Intelligence

View full text Add to dashboard Cite

The recent advances in digitalization, improved connectivity and cloud based services are making a huge revolution in manufacturing domain. In spite of the huge potential benefits in productivity, these trends also bring in some concerns related to safety and security to the traditionally closed industrial operation scenarios. This paper presents a high-level view of some of the research results and technological contributions of the InSecTT Project for meeting safety/security goals. These technology contributions are expected to support both the design and operational phases in the production life cycle. Specifically, our contributions spans (a) enforcing stricter but flexible access control, (b) evaluation of machine learning techniques for intrusion detection, (c) generation of realistic process control and network oriented datasets with injected anomalies and (d) performing safety and security analysis on automated guided vehicle platoons.

show abstract