User: Guest  Login
Original title:
Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes 
Translated title:
Anwendungskonzept und Evaluation eines formalen Spezifikationsansatzes für nachträgliche Softwareänderungen in der Produktionsautomatisierung 
Year:
2021 
Document type:
Dissertation 
Institution:
Fakultät für Maschinenwesen 
Advisor:
Vogel-Heuser, Birgit (Prof. Dr.) 
Referee:
Vogel-Heuser, Birgit (Prof. Dr.); Beckert, Bernhard (Prof. Dr.) 
Language:
en 
Subject group:
MSR Meßtechnik, Steuerungs- und Regelungstechnik, Automation 
TUM classification:
MSR 500; DAT 000 
Abstract:
Control software of automated production systems evolves to adapt to changing requirements. Quality assurance of the changes is to be rigorously obtained for reliable system execution. Considering target and engineering characteristics, requirements of automation engineers are analyzed, and a corresponding formal specification approach is presented to be usable by them. The concepts are integrated into the engineering workflow utilizing the expressiveness of the specification in various phases. 
Translated abstract:
Steuerungssoftware in automatisierten Produktionssystemen evolviert, um sich an geänderte Anforderungen anzupassen. Ein zuverlässiger Systembetrieb erfordert die Qualitätssicherung von Änderungen. Der entwickelte formale Spezifikationsansatz berücksichtigt die Anforderungen von Automatisierungsgeräten,-ingenieuren und Engineering-Charakteristika. Der Ansatz wird in den Entwicklungsprozess integriert und die Ausdrucksmächtigkeit der Spezifikation in den verschiedenen Phasen gezeigt. 
ISBN:
978-3-96548-110-7 
Oral examination:
19.05.2021 
File size:
9301909 bytes 
Pages:
182 
Last change:
29.08.2021