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

2 Citations (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 publicationProceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016
PublisherIEEE
Pages740-743
Number of pages4
ISBN (Electronic)978-1-5090-2870-2
DOIs
Publication statusPublished - 2016
MoE publication typeA4 Conference publication
EventIEEE International Conference on Industrial Informatics - Poitiers, France
Duration: 19 Jul 201621 Jul 2016
Conference number: 14
https://ieee-indin2016.sciencesconf.org/

Publication series

NameIEEE International Conference on Industrial Informatics
PublisherIEEE
ISSN (Print)1935-4576
ISSN (Electronic)2378-363X

Conference

ConferenceIEEE International Conference on Industrial Informatics
Abbreviated titleINDIN
Country/TerritoryFrance
CityPoitiers
Period19/07/201621/07/2016
Internet address

Keywords

  • MTL
  • requirement verification
  • temporal logic

Fingerprint

Dive into the research topics of 'Requirement Verification in Simulation Based Automation Testing'. Together they form a unique fingerprint.

Cite this