guest ::
%0 Thesis %A Reitz, Jan Lucas %T An orchestration framework for simulation-based development and verification of cyber-physical systems %I Rheinisch-Westfälische Technische Hochschule Aachen %V Dissertation %C Aachen %M RWTH-2025-08878 %P 1 Online-Ressource : Illustrationen %D 2025 %Z Veröffentlicht auf dem Publikationsserver der RWTH Aachen University %Z Dissertation, Rheinisch-Westfälische Technische Hochschule Aachen, 2025 %X The increasing complexity of Cyber-Physical System (CPS) presents significant challenges in simulation-based design and verification. While the individual domains of CPS, physics, computation, and communication, have robust theoretical foundations and mature simulators, integrating them into executable models to analyze overall system behavior remains challenging due to disparate modeling languages and simulation paradigms. This thesis introduces an orchestration framework for integrating both real and virtual CPS components. The framework consists of a generic modeling methodology based on a block-port-connector paradigm, domain-specific extensions for various application domains, a component library to organize different component implementations, and a test orchestrator to manage their execution. The Hybrid Communication Infrastructure (HCI) facilitates data exchange between components through both virtual channels and hybrid connections to real hardware. The modeling methodology clearly separates component interfaces from their implementations, enabling consistent interfaces to be maintained while internal realizations evolve. This separation allows flexible combinations of Model in the Loop (MiL), Software in the Loop (SiL), and Hardware in the Loop (HiL) simulations within a unified system model, which facilitates progressive refinement throughout the development process. The HCI offers configurable fidelity for communication simulation, from simplified data exchange to detailed packet-based simulation of protocols and network devices. Path loss and mobility models leverage the integration of physics and communication simulations in the unified framework to enable the analysis of implicit interactions between physical environments and communication quality. The test orchestrator enables complex SiL simulations by managing the configuration, lifecycle, and synchronized execution of external simulation units like VirtualMachines (VMs). This allows real software to be incorporated into the simulation environment. The framework is evaluated through seven progressive case studies across di-verse domains, each highlighting different architectural elements. The initial studies demonstrate fundamental capabilities like component substitution and communication simulation in relatively simple systems. More complex studies showcase the framework’s ability to handle multi-agent systems with mixed MiL/SiL implementations, to support collaborative development in large projects, to model implicit interactions between physical environments and communication, and to integrate with industry-standard protocols across various application domains. These case studies collectively validate the framework’s three core advantages: enabling integrated analysis of heterogeneous components, supporting progressive refinement of model fidelity while maintaining interface consistency, and facilitating gradual incorporation of real components into the simulation environment. %F PUB:(DE-HGF)11 %9 Dissertation / PhD Thesis %R 10.18154/RWTH-2025-08878 %U https://publications.rwth-aachen.de/record/1020274