Login
- Originaltitel:
- Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes
- Übersetzter Titel:
- Anwendungskonzept und Evaluation eines formalen Spezifikationsansatzes für nachträgliche Softwareänderungen in der Produktionsautomatisierung
- Autor:
- Cha, Suhyun
- Jahr:
- 2021
- Dokumenttyp:
- Dissertation
- Fakultät/School:
- Fakultät für Maschinenwesen
- Betreuer:
- Vogel-Heuser, Birgit (Prof. Dr.)
- Gutachter:
- Vogel-Heuser, Birgit (Prof. Dr.); Beckert, Bernhard (Prof. Dr.)
- Sprache:
- en
- Fachgebiet:
- MSR Meßtechnik, Steuerungs- und Regelungstechnik, Automation
- TU-Systematik:
- MSR 500; DAT 000
- Kurzfassung:
- 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.
- Übersetzte Kurzfassung:
- 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
- Eingereicht am:
- 09.02.2021
- Mündliche Prüfung:
- 19.05.2021
- Dateigröße:
- 9301909 bytes
- Seiten:
- 182
- Urn (Zitierfähige URL):
- https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20210519-1595575-0-5
- Letzte Änderung:
- 29.08.2021
BibTeX