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

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
PublisherInstitute of Electrical and Electronic Engineers IEEE
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

Fingerprint

Runtime Verification
Process Control
control system
Process control
Control Software
Control System
Control systems
Design Process
Automation
Ore treatment
Actuator
Ontology
Simulation Model
Simulator
automation
simulation model
Entire
Cover
Industry
ontology

Keywords

  • testing
  • process control
  • feeds
  • solid modeling
  • automation
  • ontologies
  • actuators
  • simulation runtime verification
  • test automation
  • driven testing
  • ISO/IEC/IEEE 29119

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] Institute of Electrical and Electronic Engineers IEEE. https://doi.org/10.1109/INDIN.2017.8104856
Savolainen, Roope ; Sierla, Seppo ; Karhela, Tommi ; Miettinen, Tuomas ; Vyatkin, Valeriy. / A framework for runtime verification of industrial process control systems. IEEE 15th International Conference on Industrial Informatics, INDIN 2017 . Institute of Electrical and Electronic Engineers IEEE, 2017. pp. 687-694
@inproceedings{dfcd867771464fa3bf3be12fd608bdf0,
title = "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 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.",
keywords = "testing, process control, feeds, solid modeling, automation, ontologies, actuators, simulation runtime verification, test automation, driven testing, ISO/IEC/IEEE 29119",
author = "Roope Savolainen and Seppo Sierla and Tommi Karhela and Tuomas Miettinen and Valeriy Vyatkin",
year = "2017",
month = "11",
day = "10",
doi = "10.1109/INDIN.2017.8104856",
language = "English",
pages = "687--694",
booktitle = "IEEE 15th International Conference on Industrial Informatics, INDIN 2017",
publisher = "Institute of Electrical and Electronic Engineers IEEE",
address = "United States",

}

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 ., 8104856, Institute of Electrical and Electronic Engineers IEEE, pp. 687-694, IEEE 15th International Conference on Industrial Informatics, INDIN, Emden, Germany, 24/07/17. https://doi.org/10.1109/INDIN.2017.8104856

A framework for runtime verification of industrial process control systems. / Savolainen, Roope; Sierla, Seppo; Karhela, Tommi; Miettinen, Tuomas; Vyatkin, Valeriy.

IEEE 15th International Conference on Industrial Informatics, INDIN 2017 . Institute of Electrical and Electronic Engineers IEEE, 2017. p. 687-694 8104856.

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

TY - GEN

T1 - A framework for runtime verification of industrial process control systems

AU - Savolainen, Roope

AU - Sierla, Seppo

AU - Karhela, Tommi

AU - Miettinen, Tuomas

AU - Vyatkin, Valeriy

PY - 2017/11/10

Y1 - 2017/11/10

N2 - 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.

AB - 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.

KW - testing

KW - process control

KW - feeds

KW - solid modeling

KW - automation

KW - ontologies

KW - actuators

KW - simulation runtime verification

KW - test automation

KW - driven testing

KW - ISO/IEC/IEEE 29119

UR - http://www.scopus.com/inward/record.url?scp=85041174500&partnerID=8YFLogxK

U2 - 10.1109/INDIN.2017.8104856

DO - 10.1109/INDIN.2017.8104856

M3 - Conference article in proceedings

SP - 687

EP - 694

BT - IEEE 15th International Conference on Industrial Informatics, INDIN 2017

PB - Institute of Electrical and Electronic Engineers IEEE

ER -

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