Applying Runtime Monitoring to the Industrial Internet of Things

@article{Grochowski2019ApplyingRM,
  title={Applying Runtime Monitoring to the Industrial Internet of Things},
  author={M. Grochowski and S. Kowalewski and M. Buchsbaum and C. Brecher},
  journal={2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)},
  year={2019},
  pages={348-355}
}
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… Expand
1 Citations

References

SHOWING 1-10 OF 17 REFERENCES
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
  • 44
  • PDF
A Survey of Runtime Monitoring Instrumentation Techniques
  • 20
  • PDF
Towards an Infrastructure Enabling the Internet of Production
  • 31
  • PDF
Synthesizing Monitors for Safety Properties
  • 360
  • Highly Influential
  • PDF
Control from the Cloud: Edge Computing, Services and Digital Shadow for Automation Technologies*
  • 6
Runtime Verification of Safety-Progress Properties
  • 91
  • PDF
Runtime Verification for LTL and TLTL
  • 453
  • Highly Influential
  • PDF
Monitoring Algorithms for Metric Temporal Logic Specifications
  • 158
  • Highly Influential
  • PDF
Patterns in property specifications for finite-state verification
  • 1,468
  • PDF
Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
  • 32
  • Highly Influential
  • PDF
...
1
2
...