h1

001018781 001__ 1018781
001018781 005__ 20251024053852.0
001018781 0247_ $$2HBZ$$aHT031277706
001018781 0247_ $$2Laufende Nummer$$a44687
001018781 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-07968
001018781 020__ $$a978-3-8191-0107-6
001018781 037__ $$aRWTH-2025-07968
001018781 041__ $$aEnglish
001018781 082__ $$a004
001018781 1001_ $$0P:(DE-82)IDM03041$$aNachmann, Imke Helene$$b0$$urwth
001018781 245__ $$aFunctional modeling of cyber-physical systems$$cImke Helene Nachmann$$honline, print
001018781 246_3 $$aFunktionale Modellierung cyber-physischer Systeme$$yGerman
001018781 260__ $$aDüren$$bShaker Verlag$$c2025
001018781 300__ $$a1 Online-Ressource : Illustrationen
001018781 3367_ $$02$$2EndNote$$aThesis
001018781 3367_ $$0PUB:(DE-HGF)11$$2PUB:(DE-HGF)$$aDissertation / PhD Thesis$$bphd$$mphd
001018781 3367_ $$0PUB:(DE-HGF)3$$2PUB:(DE-HGF)$$aBook$$mbook
001018781 3367_ $$2BibTeX$$aPHDTHESIS
001018781 3367_ $$2DRIVER$$adoctoralThesis
001018781 3367_ $$2DataCite$$aOutput Types/Dissertation
001018781 3367_ $$2ORCID$$aDISSERTATION
001018781 4900_ $$aAachener Informatik-Berichte, Software Engineering$$v59
001018781 502__ $$aDissertation, RWTH Aachen University, 2025$$bDissertation$$cRWTH Aachen University$$d2025$$gFak01$$o2025-03-27
001018781 500__ $$aDruckausgabe: 2025. - Auch veröffentlicht auf dem Publikationsserver der RWTH Aachen University
001018781 5203_ $$aDie heutigen Cyber-Physischen Systeme müssen immer mehr Funktionalitäten erfüllen, was ihre Entwicklung vor neue Herausforderungen stellt. Die Aktivitäten traditioneller Entwicklungsmethoden fokussieren die Entwicklung physikalischer Teile oder Software Module und nicht der angeforderten Funktionen, deren Realisierung die Interaktion dieser Komponenten erfordert. Die Information, welche Komponenten, bzw. welche Interaktion welcher Komponenten die geforderte Funktion erfüllt bleibt in der Regelimplizit und erschwert die Kollaboration der Experten aus den verschiedenen Domänen. Auch die Validierung und Verifikation der angeforderten Funktionen wird durch das nicht Vorhandensein dieser Information in formaler Form erschwert. Zwischen den informell und abstrakt beschriebenen funktionalen Anforderungen und der Dokumentation ihrer Implementierungen entsteht eine konzeptionelle Lücke. Die in der Entwicklung Cyber-Physischer Systeme involvierten Domänen haben jeweils ein eigenes Verständnis dessen etabliert, was die Funktion eines Systems ist. Diese Verständnisse wurden jedoch noch nicht zu einer holistischen Modellierungstechnikkonsolidiert. Diese Arbeit stellt das funktionale Entwicklungsparadigma vor, welches den Fokus der Entwicklung auf das Finden von Realisierungen der cyber-physischen Funktionen, die ein System, das Energie, Material und Daten definiert, legt. Dies steht im Kontrast zu traditionellen Ansätzen, die die Entwicklung von Komponenten zur Erfüllung funktionaler Anforderungen anstreben. Darin wird ein Cyber-Physisches System als ein Netzwerk aus interagierenden gezeiteten stromverarbeitenden Funktionen verstanden und modelliert. Um dieses formale Verständnis des Systems inder Entwicklung praktisch anwenden zu können wird außerdem ein Meta-Modellvorgestellt und in Form eines SysML-Profils implementiert, das die wesentlichen Anforderungen und Konzepte zur Entwicklung von Modellierungssprachen integriert. Diese Technik wird dann angewandt um einen Konstruktionskatalog aus dem Maschinenbau zu formalisieren und so aufzuzeigen, dass die Modellierung es schafft, eine Brücke zwischen Softwareentwicklung und Maschinenbau zu schaffen.$$lger
001018781 520__ $$aEngineering Cyber-Physical Systems faces many challenges including the demand to integrate many different forms of functionalities and features. Traditional engineering processes are structured by the physical components and software modules of the final system and the engineering activities are concerned with evolving these components. In these approaches, the information, which components realize which functions and, in particular, which components interact in which way to implement a function, most often remains implicit. This hinders not only the collaboration of experts from different domains but also an agile approach to engineering which becomes efficient through automation, e.g., of V&V tasks. The shift towards functional requirements gives rise toa conceptual gap between their abstract descriptions and the very detailed descriptions of the system’s implementation. So far, the involved engineering domains have established an understanding of what a system’s function is, but these understandings have not been consolidated and integrated in a suitable interdisciplinary modeling technique. Therefore, we propose a functional development paradigm that promotes development by finding realizations of cyber-physical functions, which transform energy, matter, and data, rather than implementing physical products or software modules directly. Therein, we model a CPS as a network of interacting timed stream processing functions, which specify the desired logical behavior and the physical behavior. By applying this modeling technique to formalize the design process in mechanical engineering, we show how to integrate the functional understanding of software and mechanical systems, which paves the way for agile and holistic model-driven engineering of CPSs. Further, we propose requirements and a meta-model for implementing modeling languages to model these functions.$$leng
001018781 588__ $$aDataset connected to Lobid/HBZ
001018781 591__ $$aGermany
001018781 7001_ $$0P:(DE-82)IDM00045$$aRumpe, Bernhard$$b1$$eThesis advisor$$urwth
001018781 7001_ $$0P:(DE-82)943247$$aWimmer, Manuel$$b2$$eThesis advisor
001018781 8564_ $$uhttps://publications.rwth-aachen.de/record/1018781/files/1018781.pdf$$yOpenAccess
001018781 8564_ $$uhttps://publications.rwth-aachen.de/record/1018781/files/1018781_source.zip$$yRestricted
001018781 909CO $$ooai:publications.rwth-aachen.de:1018781$$popenaire$$popen_access$$pVDB$$pdriver$$pdnbdelivery
001018781 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001018781 9141_ $$y2025
001018781 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03041$$aRWTH Aachen$$b0$$kRWTH
001018781 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00045$$aRWTH Aachen$$b1$$kRWTH
001018781 9201_ $$0I:(DE-82)121510_20140620$$k121510$$lLehrstuhl für Software Engineering (Informatik 3)$$x0
001018781 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
001018781 961__ $$c2025-10-23T13:23:58.913461$$x2025-09-22T20:22:08.108885$$z2025-10-23T13:23:58.913461
001018781 9801_ $$aFullTexts
001018781 980__ $$aI:(DE-82)120000_20140620
001018781 980__ $$aI:(DE-82)121510_20140620
001018781 980__ $$aUNRESTRICTED
001018781 980__ $$aVDB
001018781 980__ $$abook
001018781 980__ $$aphd