A framework for runtime verification of industrial process control systems

Roope Savolainen, Seppo Sierla, Tommi Karhela, Tuomas Miettinen, Valeriy Vyatkin

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

1 Citation (Scopus)

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.
Original languageEnglish
Title of host publicationProceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017
PublisherIEEE
Pages687-694
Number of pages8
ISBN (Electronic)978-1-5386-0837-1
DOIs
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

Keywords

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

Fingerprint Dive into the research topics of 'A framework for runtime verification of industrial process control systems'. Together they form a unique fingerprint.

Cite this