User: Guest  Login
Author(s):
Ulewicz, Sebastian; Ulbrich, Mattias; Weigl, Alexander; Beckert, Bernhard; Vogel-Heuser, Birgit 
Title:
Proving Equivalence between Control Software Variants for Programmable Logic Controllers - Using Regression Verification to Reduce Unneeded Variant Diversity 
Abstract:
Automated production systems are usually driven by Programmable Logic Controllers (PLCs). These systems are long-living and have high requirements for software quality to avoid downtimes, damaged product and harm to personnel. While commissioning multiple systems of similar type, pragmatic adjustments of the software are often necessary, which results in two or more similar variants of initially identical software. For further evolution of the software, an equivalence analysis of the software's...    »
 
Book / Congress title:
20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) 
Publisher address:
Luxembourg, Luxembourg 
Year:
2015 
Month:
September