A framework for runtime verification of industrial process control systems

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Research units

  • VTT Technical Research Centre of Finland
  • Luleå University of Technology


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.


Original languageEnglish
Title of host publicationProceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017
Publication statusPublished - 2017
MoE publication typeA4 Article in a conference publication
EventIEEE International Conference on Industrial Informatics - Emden, Germany
Duration: 24 Jul 201726 Jul 2017
Conference number: 15

Publication series

NameIEEE International Conference on Industrial Informatics
ISSN (Print)1935-4576
ISSN (Electronic)2378-363X


ConferenceIEEE International Conference on Industrial Informatics
Abbreviated titleINDIN

    Research areas

  • test automation, simulation runtime verification, ISO/IEC/IEEE 29119

ID: 17381224