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 article in proceedingsScientificpeer-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 publicationIEEE 15th International Conference on Industrial Informatics, INDIN 2017
PublisherIEEE Institute of Electrical and Electronic Engineers
Pages687-694
Number of pages8
ISBN (Electronic)9781538608371
DOIs
Publication statusPublished - 10 Nov 2017
MoE publication typeA4 Article in a conference publication
EventIEEE 15th International Conference on Industrial Informatics, INDIN - Emden, Germany
Duration: 24 Jul 201725 Jul 2017

Conference

ConferenceIEEE 15th International Conference on Industrial Informatics, INDIN
Abbreviated titleINDIN
CountryGermany
CityEmden
Period24/07/1725/07/17

Keywords

  • testing
  • process control
  • feeds
  • solid modeling
  • automation
  • ontologies
  • actuators
  • simulation runtime verification
  • test automation
  • driven testing
  • 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

    Savolainen, R., Sierla, S., Karhela, T., Miettinen, T., & Vyatkin, V. (2017). A framework for runtime verification of industrial process control systems. In IEEE 15th International Conference on Industrial Informatics, INDIN 2017 (pp. 687-694). [8104856] IEEE Institute of Electrical and Electronic Engineers. https://doi.org/10.1109/INDIN.2017.8104856