A framework for runtime verification of industrial process control systems

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

Researchers

Research units

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

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.

Details

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
PublisherIEEE
ISSN (Print)1935-4576
ISSN (Electronic)2378-363X

Conference

ConferenceIEEE International Conference on Industrial Informatics
Abbreviated titleINDIN
CountryGermany
CityEmden
Period24/07/201726/07/2017

    Research areas

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

ID: 17381224