User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Cha, Suhyun; Weigl, Alexander; Ulbrich, Mattias; Beckert, Bernhard; Vogel-Heuser, Birgit 
Title:
Achieving delta description of the control software for an automated production system evolution 
Abstract:
Automated production systems are run 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...    »
 
Book / Congress title:
14th IEEE International Conference on Automation Science and Engineering (CASE) 
Publisher address:
Munich, Germany 
Year:
2018 
CC license:
by, http://creativecommons.org/licenses/by/4.0