Sökning: onr:"swepub:oai:DiVA.org:ltu-67634" >
A framework for run...
A framework for runtime verification of industrial process control systems
-
- Savolainen, Roope (författare)
- Systems Modelling and Simulation, VTT Technical Research Centre of Finland Ltd, Espoo
-
- Sierla, Seppo A. (författare)
- Systems Modelling and Simulation, VTT Technical Research Centre of Finland Ltd, Espoo
-
- Karhela, Tommi (författare)
- Systems Modelling and Simulation, VTT Technical Research Centre of Finland Ltd, Espoo
-
visa fler...
-
- Miettinen, Tuomas (författare)
- Systems Modelling and Simulation, VTT Technical Research Centre of Finland Ltd, Espoo
-
- Vyatkin, Valeriy (författare)
- Luleå tekniska universitet,Datavetenskap,Department of Electrical Engineering and Automation, Aalto University
-
visa färre...
-
(creator_code:org_t)
- Piscataway, NJ : Institute of Electrical and Electronics Engineers (IEEE), 2017
- 2017
- Engelska.
-
Ingår i: Proceedings. - Piscataway, NJ : Institute of Electrical and Electronics Engineers (IEEE). - 9781538608371 ; , s. 687-694
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas