Requirement verification in simulation-based automation testing

Eero Siivola; Seppo Sierla; Hannu Niemistö; Tommi Karhela; Valeriy Vyatkin

doi:10.1109/INDIN.2016.7819257

Requirement verification in simulation-based automation testing

Eero Siivola, Seppo Sierla, Hannu Niemistö, Tommi Karhela, Valeriy Vyatkin

BA16 Data-driven solutions

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

1 Citation (Scopus)

Abstract

The emergence of the Industrial Internet results in an increasing number of complicated temporal interdependencies between automation systems and the processes to be controlled. There is a need for verification methods that scale better than formal verification methods and which are more exact than testing. Simulation-based runtime verification is proposed as such a method, and an application of Metric temporal logic is presented as a contribution. The practical scalability of the proposed approach is validated against a production process designed by an industrial partner, resulting in the discovery of requirement violations.

Original language	English
Title of host publication	Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on
Publisher	IEEE Institute of Electrical and Electronic Engineers
Pages	740 - 743
ISBN (Electronic)	978-1-5090-2870-2
ISBN (Print)	978-1-5090-2871-9
DOIs	https://doi.org/10.1109/INDIN.2016.7819257
Publication status	Published - 2016
MoE publication type	A4 Article in a conference publication
Event	14th IEEE International Conference on Industrial Informatics, INDIN 2016 - Futuroscope-Poitiers, Poitiers, France Duration: 19 Jul 2016 → 21 Jul 2016 Conference number: 14

Conference

Conference	14th IEEE International Conference on Industrial Informatics, INDIN 2016
Abbreviated title	INDIN 2016
Country	France
City	Poitiers
Period	19/07/16 → 21/07/16

Keywords

runtime
automation
testing
slurries
metals
monitoring
leaching

Access to Document

10.1109/INDIN.2016.7819257

https://arxiv.org/abs/1602.02504

Fingerprint Dive into the research topics of 'Requirement verification in simulation-based automation testing'. Together they form a unique fingerprint.

Cite this

Siivola, E., Sierla, S., Niemistö, H., Karhela, T., & Vyatkin, V. (2016). Requirement verification in simulation-based automation testing. In Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on (pp. 740 - 743). IEEE Institute of Electrical and Electronic Engineers. https://doi.org/10.1109/INDIN.2016.7819257

@inproceedings{4b9136c2605d49cd8a53a4115f092d36,

title = "Requirement verification in simulation-based automation testing",

abstract = "The emergence of the Industrial Internet results in an increasing number of complicated temporal interdependencies between automation systems and the processes to be controlled. There is a need for verification methods that scale better than formal verification methods and which are more exact than testing. Simulation-based runtime verification is proposed as such a method, and an application of Metric temporal logic is presented as a contribution. The practical scalability of the proposed approach is validated against a production process designed by an industrial partner, resulting in the discovery of requirement violations.",

keywords = "runtime, automation, testing, slurries, metals, monitoring, leaching",

author = "Eero Siivola and Seppo Sierla and Hannu Niemist{\"o} and Tommi Karhela and Valeriy Vyatkin",

year = "2016",

doi = "10.1109/INDIN.2016.7819257",

language = "English",

isbn = "978-1-5090-2871-9",

pages = "740 -- 743",

booktitle = "Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on",

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

address = "United States",

note = "14th IEEE International Conference on Industrial Informatics, INDIN 2016, INDIN 2016 ; Conference date: 19-07-2016 Through 21-07-2016",

}

Siivola, E, Sierla, S, Niemistö, H, Karhela, T & Vyatkin, V 2016, Requirement verification in simulation-based automation testing. in Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on. IEEE Institute of Electrical and Electronic Engineers, pp. 740 - 743, 14th IEEE International Conference on Industrial Informatics, INDIN 2016, Poitiers, France, 19/07/16. https://doi.org/10.1109/INDIN.2016.7819257

Requirement verification in simulation-based automation testing. / Siivola, Eero; Sierla, Seppo; Niemistö, Hannu; Karhela, Tommi; Vyatkin, Valeriy.

Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on. IEEE Institute of Electrical and Electronic Engineers, 2016. p. 740 - 743.

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

TY - GEN

T1 - Requirement verification in simulation-based automation testing

AU - Siivola, Eero

AU - Sierla, Seppo

AU - Niemistö, Hannu

AU - Karhela, Tommi

AU - Vyatkin, Valeriy

N1 - Conference code: 14

PY - 2016

Y1 - 2016

N2 - The emergence of the Industrial Internet results in an increasing number of complicated temporal interdependencies between automation systems and the processes to be controlled. There is a need for verification methods that scale better than formal verification methods and which are more exact than testing. Simulation-based runtime verification is proposed as such a method, and an application of Metric temporal logic is presented as a contribution. The practical scalability of the proposed approach is validated against a production process designed by an industrial partner, resulting in the discovery of requirement violations.

AB - The emergence of the Industrial Internet results in an increasing number of complicated temporal interdependencies between automation systems and the processes to be controlled. There is a need for verification methods that scale better than formal verification methods and which are more exact than testing. Simulation-based runtime verification is proposed as such a method, and an application of Metric temporal logic is presented as a contribution. The practical scalability of the proposed approach is validated against a production process designed by an industrial partner, resulting in the discovery of requirement violations.

KW - runtime

KW - automation

KW - testing

KW - slurries

KW - metals

KW - monitoring

KW - leaching

U2 - 10.1109/INDIN.2016.7819257

DO - 10.1109/INDIN.2016.7819257

M3 - Conference article in proceedings

SN - 978-1-5090-2871-9

SP - 740

EP - 743

BT - Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on

PB - IEEE Institute of Electrical and Electronic Engineers

T2 - 14th IEEE International Conference on Industrial Informatics, INDIN 2016

Y2 - 19 July 2016 through 21 July 2016

ER -