A framework for runtime verification of industrial process control systems

Roope Savolainen, Seppo Sierla, Tommi Karhela, Tuomas Miettinen, Valeriy Vyatkin

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    1 Citation (Scopus)

    Abstract

    Despite the significant research on automation systems verification, further work is needed on methods for the industrial scale verification of automated processes that are able to cover control software errors, sensor and actuator errors as well as design errors in the process to be controlled. In this paper, such an approach is based building on previous work on runtime verification using plant simulation models created during the plant design process. A framework for runtime verification is proposed based on keyword driven testing that is applied to the entire automated process rather than only to control software. Through the use of ontologies, the framework is made independent of any particular simulator. The approach is demonstrated with a case study from the mineral processing industry.
    Original languageEnglish
    Title of host publicationIEEE 15th International Conference on Industrial Informatics, INDIN 2017
    PublisherIEEE Institute of Electrical and Electronic Engineers
    Pages687-694
    ISBN (Electronic)978-1-5386-0837-1, 978-1-5386-0836-4
    ISBN (Print)978-1-5386-0838-8
    DOIs
    Publication statusPublished - 10 Nov 2017
    MoE publication typeA4 Article in a conference publication
    EventIEEE 15th International Conference on Industrial Informatics, INDIN - Emden, Germany
    Duration: 24 Jul 201725 Jul 2017

    Publication series

    SeriesIEEE International Conference on Industrial Informatics (INDIN)
    Volume15
    ISSN1935-4576

    Conference

    ConferenceIEEE 15th International Conference on Industrial Informatics, INDIN
    Abbreviated titleINDIN
    Country/TerritoryGermany
    CityEmden
    Period24/07/1725/07/17

    Keywords

    • testing
    • process control
    • feeds
    • solid modeling
    • automation
    • ontologies
    • actuators
    • simulation runtime verification
    • test automation
    • driven testing
    • ISO/IEC/IEEE 29119

    Fingerprint

    Dive into the research topics of 'A framework for runtime verification of industrial process control systems'. Together they form a unique fingerprint.

    Cite this