A framework for runtime verification of industrial process control systems

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

doi:10.1109/INDIN.2017.8104856

A framework for runtime verification of industrial process control systems

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

Aalto University

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

6 Citations (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 language	English
Title of host publication	IEEE 15th International Conference on Industrial Informatics, INDIN 2017
Publisher	IEEE Institute of Electrical and Electronic Engineers
Pages	687-694
ISBN (Electronic)	978-1-5386-0837-1, 978-1-5386-0836-4
ISBN (Print)	978-1-5386-0838-8
DOIs	https://doi.org/10.1109/INDIN.2017.8104856
Publication status	Published - 10 Nov 2017
MoE publication type	A4 Article in a conference publication
Event	IEEE 15th International Conference on Industrial Informatics, INDIN - Emden, Germany Duration: 24 Jul 2017 → 25 Jul 2017

Publication series

Series	IEEE International Conference on Industrial Informatics (INDIN)
Volume	15
ISSN	1935-4576

Conference

Conference	IEEE 15th International Conference on Industrial Informatics, INDIN
Abbreviated title	INDIN
Country/Territory	Germany
City	Emden
Period	24/07/17 → 25/07/17

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Keywords

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

Access to Document

10.1109/INDIN.2017.8104856

Cite this

@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 = nov,

day = "10",

doi = "10.1109/INDIN.2017.8104856",

language = "English",

isbn = "978-1-5386-0838-8",

series = "IEEE International Conference on Industrial Informatics (INDIN)",

publisher = "IEEE Institute of Electrical and Electronic Engineers",

pages = "687--694",

booktitle = "IEEE 15th International Conference on Industrial Informatics, INDIN 2017",

address = "United States",

note = "IEEE 15th International Conference on Industrial Informatics, INDIN, INDIN ; Conference date: 24-07-2017 Through 25-07-2017",

}

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, IEEE Institute of Electrical and Electronic Engineers, IEEE International Conference on Industrial Informatics (INDIN), vol. 15, 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 et al.
IEEE 15th International Conference on Industrial Informatics, INDIN 2017 . IEEE Institute of Electrical and Electronic Engineers, 2017. p. 687-694 8104856 (IEEE International Conference on Industrial Informatics (INDIN), Vol. 15).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-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 - https://www.scopus.com/pages/publications/85041174500

U2 - 10.1109/INDIN.2017.8104856

DO - 10.1109/INDIN.2017.8104856

M3 - Conference article in proceedings

SN - 978-1-5386-0838-8

T3 - IEEE International Conference on Industrial Informatics (INDIN)

SP - 687

EP - 694

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

PB - IEEE Institute of Electrical and Electronic Engineers

T2 - IEEE 15th International Conference on Industrial Informatics, INDIN

Y2 - 24 July 2017 through 25 July 2017

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 . IEEE Institute of Electrical and Electronic Engineers. 2017. p. 687-694. 8104856. (IEEE International Conference on Industrial Informatics (INDIN), Vol. 15). doi: 10.1109/INDIN.2017.8104856

A framework for runtime verification of industrial process control systems

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this