Requirement verification in simulation-based automation testing

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

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-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 languageEnglish
Title of host publicationIndustrial Informatics (INDIN), 2016 IEEE 14th International Conference on
PublisherInstitute of Electrical and Electronic Engineers IEEE
Pages740 - 743
ISBN (Electronic)978-1-5090-2870-2
ISBN (Print)978-1-5090-2871-9
DOIs
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
Event14th IEEE International Conference on Industrial Informatics, INDIN 2016 - Futuroscope-Poitiers, Poitiers, France
Duration: 19 Jul 201621 Jul 2016
Conference number: 14

Publication series

Name
ISSN (Electronic)2378-363X

Conference

Conference14th IEEE International Conference on Industrial Informatics, INDIN 2016
Abbreviated titleINDIN 2016
CountryFrance
CityPoitiers
Period19/07/1621/07/16

Fingerprint

Automation
Temporal logic
Testing
Scalability
Internet
Formal verification

Keywords

  • runtime
  • automation
  • testing
  • slurries
  • metals
  • monitoring
  • leaching

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). Institute of Electrical and Electronic Engineers IEEE. https://doi.org/10.1109/INDIN.2016.7819257
Siivola, Eero ; Sierla, Seppo ; Niemistö, Hannu ; Karhela, Tommi ; Vyatkin, Valeriy. / Requirement verification in simulation-based automation testing. Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on. Institute of Electrical and Electronic Engineers IEEE, 2016. pp. 740 - 743
@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",
publisher = "Institute of Electrical and Electronic Engineers IEEE",
pages = "740 -- 743",
booktitle = "Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on",
address = "United States",

}

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. Institute of Electrical and Electronic Engineers IEEE, 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. Institute of Electrical and Electronic Engineers IEEE, 2016. p. 740 - 743.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-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

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

ER -

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