This contribution highlights the synergetic effects between a posteriori and a priori verification of plant characteristics, especially in the context of evolving production systems. To do so, two approaches will be presented, one using an interdisciplinary modeling framework for model-driven engineering of automation systems, and one using a PLC-signal based monitoring technique for requirement verification. Afterwards synergies between both approaches in a combined approach are shown and illustrated in a case study.     «

This contribution highlights the synergetic effects between a posteriori and a priori verification of plant characteristics, especially in the context of evolving production systems. To do so, two approaches will be presented, one using an interdisciplinary modeling framework for model-driven engineering of automation systems, and one using a PLC-signal based monitoring technique for requirement verification. Afterwards synergies between both approaches in a combined approach are shown and illus...     »