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

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Sebastian Ulewicz, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert und Birgit Vogel‑Heuser
In:20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015)
Jahr:2015
PDF:
Stichworte: 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}
}