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

    Conference

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

    Keywords

    • 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