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
Preprint/PDF:UlewiczUlbrichWeiglBeckertVogelHeuser15.pdf

BibTeX

@InProceedings{UlewiczUlbrichWeiglBeckertVogelHeuser15,
  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)},
  year = {2015},
  month = {September}
}