Proving Equivalence between Control Software Variants for Programmable Logic Controllers - Using Regression Verification to Reduce Unneeded Variant Diversity

Reviewed Paper In Proceedings

Author(s):Sebastian Ulewicz, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, and Birgit Vogel‑Heuser
In:20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015)
Year:2015
PDF:
Keywords: IMPROVE

BibTeX

@InProceedings{UlewiczUlbrichEA2015,
  author    = {Sebastian Ulewicz and Mattias Ulbrich and Alexander Weigl and
               Bernhard Beckert and Birgit Vogel-Heuser},
  title     = {Proving Equivalence between Control Software Variants for Programmable Logic Controllers -
               Using Regression Verification to Reduce Unneeded Variant Diversity},
  booktitle = {20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015)},
  keywords  = {IMPROVE},
  month     = sep,
  year      = {2015}
}