Benutzer: Gast  Login
Titel:

Regression Verification for Programmable Logic Controller Software

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Beckert, Bernhard; Ulbrich, Mattias; Vogel-Heuser, Birgit; Weigl, Alexander
Abstract:
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...     »
Kongress- / Buchtitel:
17th International Conference on Formal Engineering Methods (ICFEM)
Verlagsort:
Paris, Frankreich
Jahr:
2015
 BibTeX