Loading [a11y]/accessibility-menu.js
A framework for runtime verification of industrial process control systems | IEEE Conference Publication | IEEE Xplore

A framework for runtime verification of industrial process control systems


Abstract:

Despite the significant research on automation systems verification, further work is needed on methods for the industrial scale verification of automated processes that a...Show More

Abstract:

Despite the significant research on automation systems verification, further work is needed on methods for the industrial scale verification of automated processes that are able to cover control software errors, sensor and actuator errors as well as design errors in the process to be controlled. In this paper, such an approach is based building on previous work on runtime verification using plant simulation models created during the plant design process. A framework for runtime verification is proposed based on keyword driven testing that is applied to the entire automated process rather than only to control software. Through the use of ontologies, the framework is made independent of any particular simulator. The approach is demonstrated with a case study from the mineral processing industry.
Date of Conference: 24-26 July 2017
Date Added to IEEE Xplore: 13 November 2017
ISBN Information:
Electronic ISSN: 2378-363X
Conference Location: Emden, Germany

Contact IEEE to Subscribe

References

References is not available for this document.