Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes

Cha, Suhyun

User: Guest

Suhyun Cha

If you experience problems opening the document, please try this link.

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
Author:: Cha, Suhyun
Year:: 2021
Document type:: Dissertation
Faculty/School:: 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
WWW:: https://mediatum.ub.tum.de/?id=1595575
Date of submission:: 09.02.2021
Oral examination:: 19.05.2021
File size:: 9301909 bytes
Pages:: 182
Urn (citeable URL):: https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20210519-1595575-0-5
Last change:: 29.08.2021
BibTeX