Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A framework for runtime verification of industrial process control systems
Systems Modelling and Simulation, VTT Technical Research Centre of Finland Ltd, Espoo.
Systems Modelling and Simulation, VTT Technical Research Centre of Finland Ltd, Espoo.
Systems Modelling and Simulation, VTT Technical Research Centre of Finland Ltd, Espoo.
Systems Modelling and Simulation, VTT Technical Research Centre of Finland Ltd, Espoo.
Show others and affiliations
2017 (English)In: Proceedings: 2017 IEEE 15th International Conference on Industrial Informatics, INDIN 2017, Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2017, p. 687-694, article id 8104856Conference paper, Published paper (Refereed)
Abstract [en]

 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.

Place, publisher, year, edition, pages
Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2017. p. 687-694, article id 8104856
Series
IEEE International Conference on Industrial Informatics INDIN, ISSN 1935-4576
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-67634DOI: 10.1109/INDIN.2017.8104856ISI: 000427453200103Scopus ID: 2-s2.0-85041174500ISBN: 978-1-5386-0837-1 (electronic)OAI: oai:DiVA.org:ltu-67634DiVA, id: diva2:1182479
Conference
15th IEEE International Conference on Industrial Informatics, INDIN 2017, University of Applied Science Emden/LeerEmden, Germany, 24-26 July 2017
Available from: 2018-02-13 Created: 2018-02-13 Last updated: 2018-04-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 6 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf