Requirement verification in simulation-based automation testing
This addresses the need for scalable and exact verification methods in industrial automation, though it appears incremental as it builds on existing simulation and logic techniques.
The paper tackled the challenge of verifying complex temporal interdependencies in automation systems by proposing simulation-based runtime verification with Metric Temporal Logic, which successfully discovered requirement violations in a real-world production process.
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.