Abstract
| Original language | English |
|---|---|
| Title of host publication | Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on |
| Publisher | IEEE Institute of Electrical and Electronic Engineers |
| Pages | 740 - 743 |
| ISBN (Electronic) | 978-1-5090-2870-2 |
| ISBN (Print) | 978-1-5090-2871-9 |
| DOIs | |
| Publication status | Published - 2016 |
| MoE publication type | A4 Article in a conference publication |
| Event | 14th IEEE International Conference on Industrial Informatics, INDIN 2016 - Futuroscope-Poitiers, Poitiers, France Duration: 19 Jul 2016 → 21 Jul 2016 Conference number: 14 |
Conference
| Conference | 14th IEEE International Conference on Industrial Informatics, INDIN 2016 |
|---|---|
| Abbreviated title | INDIN 2016 |
| Country | France |
| City | Poitiers |
| Period | 19/07/16 → 21/07/16 |
Fingerprint
Keywords
- runtime
- automation
- testing
- slurries
- metals
- monitoring
- leaching
Cite this
}
Requirement verification in simulation-based automation testing. / Siivola, Eero; Sierla, Seppo; Niemistö, Hannu; Karhela, Tommi; Vyatkin, Valeriy.
Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on. IEEE Institute of Electrical and Electronic Engineers , 2016. p. 740 - 743.Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
TY - GEN
T1 - Requirement verification in simulation-based automation testing
AU - Siivola, Eero
AU - Sierla, Seppo
AU - Niemistö, Hannu
AU - Karhela, Tommi
AU - Vyatkin, Valeriy
PY - 2016
Y1 - 2016
N2 - 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.
AB - 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.
KW - runtime
KW - automation
KW - testing
KW - slurries
KW - metals
KW - monitoring
KW - leaching
U2 - 10.1109/INDIN.2016.7819257
DO - 10.1109/INDIN.2016.7819257
M3 - Conference article in proceedings
SN - 978-1-5090-2871-9
SP - 740
EP - 743
BT - Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on
PB - IEEE Institute of Electrical and Electronic Engineers
ER -