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)


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
PublisherIEEE Institute of Electrical and Electronic Engineers
Pages740 - 743
ISBN (Electronic)978-1-5090-2870-2
ISBN (Print)978-1-5090-2871-9
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


Conference14th IEEE International Conference on Industrial Informatics, INDIN 2016
Abbreviated titleINDIN 2016


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

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

Cite this