000835778 001__ 835778 000835778 005__ 20230411161643.0 000835778 020__ $$a978-3-8440-8286-9 000835778 0247_ $$2HBZ$$aHT021170930 000835778 0247_ $$2Laufende Nummer$$a40779 000835778 0247_ $$2datacite_doi$$a10.18154/RWTH-2021-10814 000835778 037__ $$aRWTH-2021-10814 000835778 041__ $$aEnglish 000835778 082__ $$a004 000835778 1001_ $$0P:(DE-82)IDM02223$$aKusmenko, Evgeny$$b0$$urwth 000835778 245__ $$aModel-driven development methodology and domain-specific languages for the design of artificial intelligence in cyber-physical systems$$cEvgeny Kusmenko$$hprint, online 000835778 246_3 $$aModellgetriebene Entwicklungsmethodik und Domänenspezifische Sprachen für den Entwurf Künstlicher Intelligenz in Cyber-Physischen Systemen$$yGerman 000835778 260__ $$aDüren$$bShaker Verlag$$c2021 000835778 260__ $$c2022 000835778 300__ $$axiv, 324 Seiten : Illustrationen 000835778 3367_ $$02$$2EndNote$$aThesis 000835778 3367_ $$0PUB:(DE-HGF)11$$2PUB:(DE-HGF)$$aDissertation / PhD Thesis$$bphd$$mphd 000835778 3367_ $$0PUB:(DE-HGF)3$$2PUB:(DE-HGF)$$aBook$$mbook 000835778 3367_ $$2BibTeX$$aPHDTHESIS 000835778 3367_ $$2DRIVER$$adoctoralThesis 000835778 3367_ $$2DataCite$$aOutput Types/Dissertation 000835778 3367_ $$2ORCID$$aDISSERTATION 000835778 4900_ $$aAachener Informatik Berichte Software Engineering$$v49 000835778 500__ $$aZweitveröffentlicht auf dem Publikationsserver der RWTH Aachen University 2022 000835778 502__ $$aDissertation, RWTH Aachen University, 2021$$bDissertation$$cRWTH Aachen University$$d2021$$gFak01$$o2021-07-19 000835778 5203_ $$aDie Entwicklung cyber-physischer Systeme stellt eine Vielzahl von Herausforderungen und erfordert Experten aus unterschiedlichen Bereichen. Solche Systeme können nicht ohne die Unterstützung durch geeignete Prozesse, Sprachen und Tools erfolgreich entwickelt werden. Modellgetriebenes Software Engineering stellt einen wichtigen Ansatz dar, der Entwicklungsteams hilft, die zunehmende Komplexität heutiger cyber-physischer Systeme zu bewältigen. Das Ziel dieser Arbeit besteht darin, eine modellgetriebene Engineering-Methodik mit besonderem Fokus auf vernetzte intelligente cyber-physische Systeme wie kooperative Fahrzeuge zu entwickeln. Die Grundlage der vorgestellten Methodik bildet eine Komponenten- und Konnektoren-basierte Architekturbeschreibungssprache zur Dekomposition und Integration von Software für cyber-physische Systeme. Diese verfügt über ein starkes statisches, mathematisch orientiertes Typsystem, welches physikalische Einheiten unterstützt und von der technischen Realisierung abstrahiert. Um die Entwicklung hochvernetzter selbstadaptiver Systeme zu erleichtern, ermöglicht die Sprache die Modellierung von Komponenten- und Konnektorarrays und unterstützt Laufzeit-Rekonfigurationen der Architektur. Architekturelemente können dabei ereignisbasiert dynamisch geändert, hinzugefügt und entfernt werden. Um den Entwicklungsprozess vollständig abzudecken, bietet die vorgestellte Methodik neben der strukturellen Modellierung Mittel zur Verhaltensspezifikation und deren nahtlose Integration in die Komponenten der Architektur. Eine matrixorientierte Skriptsprache ermöglichtes dem Entwickler, Algorithmen in einer Syntax zu spezifizieren, die der mathematischen Domäne sehr nahe kommt. Darüber hinaus wird eine dedizierte Deep-Learning-Modellierungssprache für die Entwicklung und das Training von neuronalen Netzen in Form von azyklischen, aus Neuronenschichten bestehenden Graphen bereitgestellt. Das Framework unterstützt verschiedene Lernmethoden wie überwachtes, verstärkendes sowie GAN-basiertes Lernen und deckt damit ein breites Anwendungsspektrum von der Bild- und natürlichen Sprachverarbeitung bis hin zur Entscheidungsfindung und Testdatengenerierung ab. Auf Basis der Architekturmodelle und Verhaltensspezifikationen erlaubt die vorgestellte Toolchain eine automatisierte Generierung von voll funktionsfähigem C++-Code zusammen mit den entsprechenden Build- und Trainingsskripten. Um die Integration und Bereitstellung der modellierten Software für verteilte Umgebungen zu erleichtern, verwenden wir schließlich einen Tagging-Ansatz zur Modellierung und Generierung von Middleware.$$lger 000835778 520__ $$aThe development of cyber-physical systems poses a multitude of challenges requiring experts from different fields. Such systems cannot be developed successfully without the support of appropriate processes, languages, and tools. Model-driven software engineering is an important approach which helps development teams to cope with the increasing complexity of today's cyber-physical systems. The aim of this thesis is to develop a model-driven engineering methodology with a particular focus on interconnected intelligent cyber-physical systems such as cooperative vehicles. The basis of the proposed methodology is a component-and-connector architecture description language focusing on the decomposition and integration of cyber-physical system software. It features a strong, math-oriented type system abstracting away from the technical realization and incorporating physical units. To facilitate the development of highly-interconnected self-adaptive systems, the language enables its users to model component and connector arrays and supports architectural runtime-reconfiguration. Architectural elements can be altered, added, and removed dynamically upon the occurrence of trigger events. In order to fully cover the development process, the proposed methodology, in addition to structural modeling, provides means for behavior specification and its seamless integration into the components of the architecture. A matrix-oriented scripting language enables the developer to specify algorithms using a syntax close to the mathematical domain. What is more, a dedicated deep learning modeling language is provided for the development and training of neural networks as directed acyclic graphs of neuron layers. The framework supports different learning methods including supervised, reinforcement, and generative adversarial learning, covering a broad range of applications from image and natural language processing to decision making and test data generation. The presented toolchain enables an automated generation of fully functional C++ code together with the corresponding build and training scripts based on the architectural models and behavior specifications. Finally, to facilitate the integration and deployment of the modeled software in distributed environments, we use a tagging approach to model the middleware and to control a middleware generation toolchain.$$leng 000835778 588__ $$aDataset connected to Lobid/HBZ 000835778 591__ $$aGermany 000835778 653_7 $$aAI 000835778 653_7 $$aCPS 000835778 653_7 $$aMDSE 000835778 653_7 $$aMachine Learning 000835778 653_7 $$aSoftware Architectures 000835778 7001_ $$0P:(DE-82)IDM00045$$aRumpe, Bernhard$$b1$$eThesis advisor$$urwth 000835778 7001_ $$0P:(DE-82)138587$$aAßmann, Uwe$$b2$$eThesis advisor 000835778 8564_ $$uhttps://publications.rwth-aachen.de/record/835778/files/835778.pdf$$yOpenAccess 000835778 909CO $$ooai:publications.rwth-aachen.de:835778$$pdnbdelivery$$pdriver$$pVDB$$popen_access$$popenaire 000835778 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM02223$$aRWTH Aachen$$b0$$kRWTH 000835778 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00045$$aRWTH Aachen$$b1$$kRWTH 000835778 9141_ $$y2021 000835778 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess 000835778 9201_ $$0I:(DE-82)121510_20140620$$k121510$$lLehrstuhl für Informatik 3 (Software Engineering)$$x0 000835778 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1 000835778 961__ $$c2022-01-07T10:13:50.072106$$x2021-11-23T15:51:14.610548$$z2022-01-07T10:13:50.072106 000835778 9801_ $$aFullTexts 000835778 980__ $$aI:(DE-82)120000_20140620 000835778 980__ $$aI:(DE-82)121510_20140620 000835778 980__ $$aUNRESTRICTED 000835778 980__ $$aVDB 000835778 980__ $$abook 000835778 980__ $$aphd