Model-driven architecture and behavior of cyber-physical systems

Wortmann, Andreas; Rumpe, Bernhard

doi:10.18154/RWTH-2022-04609

Model-driven architecture and behavior of cyber-physical systems

Wortmann, Andreas^RWTH*

2021 & 2023

VerantwortlichkeitsangabeAndreas Wortmann, RWTH Aachen University

ImpressumDüren : Shaker 2021

UmfangIX, 358 Seiten : 16 Illustrationen

ISBN3-8440-8345-6, 978-3-8440-8345-3

ReiheAachener Informatik-Berichte Software Engineering ; 50

Habilitationsschrift, RWTH Aachen University, 2021, Kumulative Habilitationsschrift

Zweitveröffentlicht auf dem Publikationsserver der RWTH Aachen University 2023

Genehmigende Fakultät
Fak01

Hauptberichter/Gutachter
Rumpe, Bernhard (Thesis advisor)^RWTH*

Tag der mündlichen Prüfung/Habilitation
2021-10-21

Online
DOI: 10.18154/RWTH-2022-04609
URL: https://publications.rwth-aachen.de/record/845401/files/845401.pdf

Einrichtungen

Inhaltliche Beschreibung (Schlagwörter)
Cyber-Physical Systems (frei) ; Digital Twins (frei) ; Formal Software Architectures (frei) ; Model-Driven Engineering (frei) ; Software Language Engineering (frei)

Thematische Einordnung (Klassifikation)
DDC: 004

Kurzfassung
Systems engineering has produced striking results in many domains. Researchers andpractitioners have devised concepts, methods, tools that autonomously move vehicles,enable doctors to conduct remote surgeries across continents, and sent astronauts intospace. All of these cyber-physical systems are driven by software whose complexity in-creases tremendously. Overcompensating this growth in software and systems complexitydemands novel methods that increase the abstraction in systems engineering, advanceautomation, and facilitate the integration of domain expert solutions. Model-based sys-tems engineering aims to address this complexity by advancing systems engineering fromits contemporary document-based processes to sophisticated model-based processes. Inthe latter, abstract models serve as means for systems design, communication, documen-tation, and basis for implementation. But to overcompensate the growth in complexity,using models as secondary artifacts is insufficient. Comprehensive research in softwareengineering has led to recognizing that model-driven processes, in which models are theprimary engineering artifacts, can significantly improve abstraction, automation, anddomain-specific modeling to address the increasing complexity in systems engineering.Yet, model-based systems engineering focuses on informal models that are hardly acces-sible to meaningful automation and overly generic.This thesis summarizes 13 selected publications of a research program towards a model-driven systems engineering that operates on domain-specific modeling languages, sup-ports sophisticated modeling methods, and enables the systematic operation of cyber-physical systems. The results of this research program cover four substantial challengestowards the model-driven engineering of cyber-physical systems: First, it contributesto understanding the use of models and modeling languages for cyber-physical systemsthrough a comprehensive literature study on modeling for cyber-physical systems inIndustry 4.0. The study surveyed over 4.000 publications and produced insights intorequirements for the efficient model-driven engineering and operations of cyber-physicalsystems in Industry 4.0. Second, it conduces novel foundations for the efficient engineer-ing of domain-specific modeling languages based on the requirements identified in theliterature study. These foundations introduce innovative notions of language componentsand their composition upon which families of domain-specific modeling languages canbe created systematically efficiently. Third, it leverages these foundations to producemodeling languages to describe functional architectures and geometric-physical architec-tures of cyber-physical systems that support unprecedented automated modeling meth-ods, including tracing, decomposition, and semantic differencing, to facilitate modeling,maintaining, and evolving these architectures. Fourth, it exploits the novel languageengineering foundations and the unprecedented automated modeling methods to allevi-ate the systematic operation of cyber-physical systems with digital twins that representand optimize the observed systems. Hence, this research program forges a bridge fromobservations on modeling cyber-physical systems, over software language engineeringand modeling methods, to their operation that supports researchers and practitioners toadvance from the contemporary document-based engineering of cyber-physical systemsto their systematic model-driven engineering.

OpenAccess:
PDF

Dokumenttyp
Habil / Postdoctoral Thesis (Non-german Habil)/Book

Format
online, print

Sprache
English

Externe Identnummern
HBZ: HT021192435

Interne Identnummern
RWTH-2022-04609
Datensatz-ID: 845401

Beteiligte Länder
Germany

Related:

Contribution to a book/Contribution to a conference proceedings Butting, A. (Corresponding author)RWTH* ; Kautz, O.RWTH* ; Rumpe, B.RWTH* ; Wortmann, A.RWTH*
Semantic Differencing for Message-Driven Component & Connector Architectures
2017ICSA 2017 : 2017 IEEE International Conference on Software Architecture : proceedings : 3-7 April 2017, Gothenburg, Sweden
2017 IEEE International Conference on Software Architecture, ICSA 2017, GothenburgGothenburg, Sweden, 3 Apr 2017 - 7 Apr 20172017-04-032017-04-07 Piscataway, NJ : IEEE 145-154 (2017) [10.1109/ICSA.2017.34]2017 BibTeX | EndNote: XML, Text | RIS

Contribution to a book/Contribution to a conference proceedings Butting, A. (Corresponding author)RWTH* ; Eikermann, R. (Corresponding author)RWTH* ; Kautz, O. (Corresponding author)RWTH* ; Rumpe, B. (Corresponding author)RWTH* ; Wortmann, A. (Corresponding author)RWTH*
Controlled and Extensible Variability of Concrete and Abstract Syntax with Independent Language Features
2018VaMos 2018 : Twelfth International Workshop on Variability Modelling of Software-intensive Systems : proceedings : Madrid, Spain, 7-9 February, 2018
12. International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2018, MadridMadrid, Spain, 7 Feb 2018 - 9 Feb 20182018-02-072018-02-09 New York, NY : ACM 75-82 (2018) [10.1145/3168365.3168368]2018 BibTeX | EndNote: XML, Text | RIS

Journal Article Butting, A.RWTH* ; Kautz, O. (Corresponding author)RWTH* ; Rumpe, B.RWTH* ; Wortmann, A.
Continuously Analyzing Finite, Message-Driven, Time-Synchronous Component & Connector Systems During Architecture Evolution
The journal of systems and software : JSS 149, 437-461 (2019) [10.1016/j.jss.2018.12.016]2019 BibTeX | EndNote: XML, Text | RIS

Contribution to a book/Contribution to a conference proceedings Butting, A. (Corresponding author)RWTH* ; Eikermann, R. (Corresponding author)RWTH* ; Kautz, O. (Corresponding author)RWTH* ; Rumpe, B. (Corresponding author)RWTH* ; Wortmann, A. (Corresponding author)
Modeling Language Variability with Reusable Language Components
2018Proceedings of the 22nd International Software Product Line Conference. - Volume 1 : Gothenburg, Sweden, September 10 - 14, 2018
22. International Conference on Systems and Software Product Line, SPLC18, GothenburgGothenburg, Sweden, 10 Sep 2018 - 14 Sep 20182018-09-102018-09-14 New York : ACM 65-75 (2018) [10.1145/3233027.3233037]2018 BibTeX | EndNote: XML, Text | RIS

Journal Article Wortmann, A. (Corresponding author)RWTH* ; Barais, O. ; Combemale, B. ; Wimmer, M.
Modeling languages in Industry 4.0 : an extended systematic mapping study
Software and systems modeling 19(1), 67-94 (2019) [10.1007/s10270-019-00757-6]2019 BibTeX | EndNote: XML, Text | RIS

Contribution to a book/Contribution to a conference proceedings Wortmann, A.RWTH*
Towards Component-Based Development of Textual Domain-Specific Languages
2019ICSEA 2019 : the Fourteenth International Conference on Software Engineering Advances : November 24-28, 2019, Valencia, Spain / IARIA ; ICSEA 2019 editors: Luigi Lavazza (Università dell'Insubria - Varese, Italy), Herwig Mannaert (University of Antwerp, Belgium), Krishna Kavi (University of North Texas, USA)
14. International Conference on Software Engineering Advances, ICSEA 2019, ValenciaValencia, Spain, 24 Nov 2019 - 28 Nov 20192019-11-242019-11-28 [Wilmington, DE, USA] : IARIA 68-73 (2019)2019 Fulltext Fulltext BibTeX | EndNote: XML, Text | RIS

Journal Article Kautz, O. (Corresponding author)RWTH* ; Rumpe, B.RWTH* ; Wortmann, A.RWTH*
Automated semantics-preserving parallel decomposition of finite component and connector architectures
Automated software engineering 27(1/2), 119-151 (2020) [10.1007/s10515-020-00268-5]2020 BibTeX | EndNote: XML, Text | RIS

Contribution to a book/Contribution to a conference proceedings Bibow, P. (Corresponding author) ; Dalibor, M. (Corresponding author)RWTH* ; Rumpe, B.RWTH* ; Schmalzing, D. P.RWTH* ; Schmitz, M. ; Wortmann, A.RWTH*
Model-Driven Development of a Digital Twin for Injection Molding.
2020Advanced information systems engineering : 32nd international conference, CAiSE 2020, Grenoble, France, June 8-12, 2020 : proceedings / Schahram Dustdar, Eric Yu, Camille Salinesi, Dominique Rieu, Vik Pant (Eds.)
Advanced Information Systems Engineering 32. International Conference, CAiSE 2020, GrenobleGrenoble, France, 8 Jun 2020 - 12 Jun 20202020-06-082020-06-12 Cham : Springer, Lecture notes in computer science 12127, Information Systems and Applications, incl. Internet/Web, and HCI 85-100 (2020) [10.1007/978-3-030-49435-3_6]2020 BibTeX | EndNote: XML, Text | RIS

Contribution to a book/Contribution to a conference proceedings Kirchhof, J. C.RWTH* ; Michael, J.RWTH* ; Rumpe, B.RWTH* ; Varga, S.RWTH* ; Wortmann, A.RWTH*
Model-Driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information Systems
2020Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
23. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS'20, onlineonline, 16 Oct 2020 - 23 Oct 20202020-10-162020-10-23 New York : Association for Computing Machinery, ACM Conferences 90-101 (2020) [10.1145/3365438.3410941]2020 BibTeX | EndNote: XML, Text | RIS

Contribution to a book/Contribution to a conference proceedings Drave, I. H.RWTH* ; Rumpe, B.RWTH* ; Wortmann, A.RWTH* ; Berroth, J. K.RWTH* ; Höpfner, G.RWTH* ; Jacobs, G.RWTH* ; Boelsen, K.RWTH* ; Zerwas, T.RWTH* ; Guist, C. ; Kohl, J.
Modeling Mechanical Functional Architectures in SysML
2020Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
23. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS'20, onlineonline, 16 Oct 2020 - 23 Oct 20202020-10-162020-10-23 New York : Association for Computing Machinery, ACM Conferences 79-89 (2020) [10.1145/3365438.3410938]2020 Fulltext BibTeX | EndNote: XML, Text | RIS