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)


    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


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

    Cite this