TY - GEN
T1 - Achieving delta description of the control software for an automated production system evolution
AU - Cha, Suhyun
AU - Weigl, Alexander
AU - Ulbrich, Mattias
AU - Beckert, Bernhard
AU - Vogel-Heuser, Birgit
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/12/4
Y1 - 2018/12/4
N2 - Automated production systems (aPS) operate for a long time with continuous and incremental changes. However, the models for aPS have not been maintained along with these system changes or, even, have not been properly generated. Even though the regression verification technique reduces the effort of applying formal verification on the automation system evolution, there still remains what should be provided in a formal form for the verification: delta, which is the difference of the two versions of the software. In this paper, we propose a method for generating a formal model from preexisting software in IEC 61131-3 Sequential Function Chart language. Based on this, the developer is able to achieve delta description by revising it to reflect the change request and this formal description of delta could facilitate verifying delta formally.
AB - Automated production systems (aPS) operate for a long time with continuous and incremental changes. However, the models for aPS have not been maintained along with these system changes or, even, have not been properly generated. Even though the regression verification technique reduces the effort of applying formal verification on the automation system evolution, there still remains what should be provided in a formal form for the verification: delta, which is the difference of the two versions of the software. In this paper, we propose a method for generating a formal model from preexisting software in IEC 61131-3 Sequential Function Chart language. Based on this, the developer is able to achieve delta description by revising it to reflect the change request and this formal description of delta could facilitate verifying delta formally.
UR - https://www.scopus.com/pages/publications/85059974141
U2 - 10.1109/COASE.2018.8560588
DO - 10.1109/COASE.2018.8560588
M3 - Conference contribution
AN - SCOPUS:85059974141
T3 - IEEE International Conference on Automation Science and Engineering
SP - 1170
EP - 1176
BT - 2018 IEEE 14th International Conference on Automation Science and Engineering, CASE 2018
PB - IEEE Computer Society
T2 - 14th IEEE International Conference on Automation Science and Engineering, CASE 2018
Y2 - 20 August 2018 through 24 August 2018
ER -