Regression Verification for Programmable Logic Controller Software

  title={Regression Verification for Programmable Logic Controller Software},
  author={Bernhard Beckert and Mattias Ulbrich and Birgit Vogel-Heuser and Alexander Weigl},
Automated production systems are usually driven by Programmable Logic Controllers (PLCs). These systems are long-living – yet have to adapt to changing requirements over time. This paper presents a novel method for regression verification of PLC code, which allows one to prove that a new revision of the plant’s software does not break existing intended behavior. Our main contribution is the design, implementation, and evaluation of a regression verification method for PLC code. We also clarify… CONTINUE READING
9 Citations
38 References
Similar Papers


Publications citing this paper.
Showing 1-9 of 9 extracted citations


Publications referenced by this paper.
Showing 1-10 of 38 references

Regression verification of programmable logic controller software

  • A. Weigl
  • Master’s thesis, Karlsruhe Institut of Technology…
  • 2015
Highly Influential
3 Excerpts

Researching evolution in industrial plant automation: Scenarios and documentation of the pick and place unit

  • B. Vogel-Heuser, C. Legat, J. Folmer, S. Feldmann
  • Technical Report TUM-AIS-TR-01-14-02, TUM,
  • 2014
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…