Requirement Verification in Simulation Based Automation Testing

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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 publicationProceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016
Number of pages4
ISBN (Electronic)978-1-5090-2870-2
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventIEEE International Conference on Industrial Informatics - Poitiers, France
Duration: 19 Jul 201621 Jul 2016
Conference number: 14

Publication series

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


ConferenceIEEE International Conference on Industrial Informatics
Abbreviated titleINDIN
Internet address


  • 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