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. |
Year | Venue | Field |
---|---|---|
2015 | ICFEM | Programming language,Regression,Computer science,Theoretical computer science,Real-time computing,Software,Programmable logic controller |
DocType | Citations | PageRank |
Conference | 6 | 0.51 |
References | Authors | |
14 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernhard Beckert | 1 | 862 | 86.50 |
Mattias Ulbrich | 2 | 183 | 17.83 |
Vogel-Heuser, B. | 3 | 521 | 125.47 |
Alexander Weigl | 4 | 11 | 4.22 |