A Candidate Architecture for Cloud-based Monitoring in Industrial Automation

被引：1

作者：

Peake, Ian D. ^{[1
]}

Blech, Jan Olaf ^{[1
]}

机构：

[1] RMIT Univ, Melbourne, Vic, Australia

来源：

2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C) | 2017年

关键词：

Industrial automation; monitoring; cloud computing; industry; 4.0;

D O I：

10.1109/QRS-C.2017.93

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We describe a cloud-based architecture for monitoring large numbers of industrial automation devices. We are interested in massive parallel monitoring of software components controlling critical automation facilities such as factories, mines or oil rigs. Monitoring focuses on post-deployment verification, aiming at discovering specification violations indicating for example bugs or incompatibilities in the software-based control systems. Our work facilitates the goals of industry 4.0 and smart factories. We provide an evaluation of our architecture, realised in an experimental cloud-based automation facility, and based on a combination of real and simulated trials using a message broker commonly used in cloud computing.

引用

页码：548 / 554

页数：7

共 15 条

[1]

[Anonymous], CEUR P

[2]

Barringer H, 2004, LECT NOTES COMPUT SC, V2937, P44

[3]

Blech Jan Olaf, 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Technologies for Mastering Change. Proceedings of the 5th International Symposium, ISoLA 2012, P405, DOI 10.1007/978-3-642-34026-0_30

[4]

Blech Jan Olaf, 2015, EFFICIENT INCIDENT H

[5] MOP: An efficient and generic runtime verification framework [J].