Achieving delta description of the control software for an automated production system evolution

Integration of a formal specification approach into CPPS engineering workflow for machinery validation

B Vogel-Heuser, C Huber, S Cha… - 2021 IEEE 19th …, 2021 - ieeexplore.ieee.org
Cyber Physical Production Systems (CPPS) operate for a long time and face continuous and
incremental changes to follow up varying requirements. Interdisciplinary engineering of …
相关文章 所有 2 个版本
[PDF] uni-hamburg.de

[PDF][PDF] Evolutionsunterstützung in cyber-physischen Systemen

C Haubeck - 2019 - ediss.sub.uni-hamburg.de
Heutige Softwaresysteme unterliegen einem stetigen Veränderungsprozess. Diese
Evolution von Systemen manifestiert sich in einer wachsenden Diskrepanz zwischen …
相关文章 所有 2 个版本