Applying Runtime Monitoring to the Industrial Internet of Things

In the context of the Industrial Internet of Things safety and robustness play a crucial role as autonomous and emergent behavior increase the complexity of Cyber-Physical Production Systems. Given the intractability of exhaustively verifying distributed production systems, testing and runtime monitoring seem to be two promising methods used to verify correctness in the digitally networked factory. External runtime monitoring is an efficient and lightweight technique that bridges the gap between testing and verification.This paper describes a framework for on-the-fly monitor generation using a state-of-the-art monitoring algorithm for proving properties of a distributed production system relying on the Amazon Web Services Internet of Things architecture and the use of the digital shadow. The feasibility of the proposed architecture is evaluated using an industrial case study.