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
- 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