Requirement verification in simulation-based automation testing
  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. 
Eero Siivola, Seppo Sierla, Hannu Niemist\"o, Tommi Karhela and   Valeriy Vyatkin
cs.SE cs.LO