2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.NI2026
Traffic-Aware Configuration of OPC UA PubSub in Industrial Automation Networks
Kasra Ekrad, Bjarne Johansson, Inés Alvarez Vadillo +2
Interoperability across industrial automation systems is a cornerstone of Industry 4.0. To address this need, the OPC Unified Architecture (OPC UA) Publish-Subscribe (PubSub) model…
cs.SE2024★ 2 cited
Formal Verification of Consistency for Systems with Redundant Controllers
Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi +2
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 inconsiste…