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 | Proceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016 |
Publisher | IEEE |
Pages | 740-743 |
Number of pages | 4 |
ISBN (Electronic) | 978-1-5090-2870-2 |
DOIs | |
Publication status | Published - 2016 |
MoE publication type | A4 Conference publication |
Event | IEEE International Conference on Industrial Informatics - Poitiers, France Duration: 19 Jul 2016 → 21 Jul 2016 Conference number: 14 https://ieee-indin2016.sciencesconf.org/ |
Publication series
Name | IEEE International Conference on Industrial Informatics |
---|---|
Publisher | IEEE |
ISSN (Print) | 1935-4576 |
ISSN (Electronic) | 2378-363X |
Conference
Conference | IEEE International Conference on Industrial Informatics |
---|---|
Abbreviated title | INDIN |
Country/Territory | France |
City | Poitiers |
Period | 19/07/2016 → 21/07/2016 |
Internet address |
Keywords
- MTL
- requirement verification
- temporal logic