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 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/Territory | France |
City | Poitiers |
Period | 19/07/16 → 21/07/16 |
Keywords
- runtime
- automation
- testing
- slurries
- metals
- monitoring
- leaching