Forschungsbericht 2025

Eingebettete Systeme E-13

Leitung: Falk, Heiko
Professor: Fey, Görschwin

Institut auf TORE
Institutswebsite

Publikationen

• One-shot learning in hybrid system identification: a new modular paradigm - Conference Paper
  Plambeck, Swantje; Schmidt, Maximilian; Travé-Massuyès, Louise; Fey, Goerschwin
  36th International Conference on Principles of Diagnosis and Resilient Systems, DX 2025
  Open Access | Publisher DOI
  
  
• Algorithmic and structural programming in a simple language for parallel computing - Conference Paper
  Mayer-Lindenberg, Fritz
  18th International Conference on Parallel Computing Technologies, PaCT 2025
  Publisher DOI
  
  
• Grading defects: evaluating approximate circuits for error-tolerant systems - Conference Paper
  Martino, Gianluca; Garcia-Ortiz, Alberto; Schammer, Lutz; Fey, Görschwin
  IEEE Nordic Circuits and Systems Conference, NorCAS 2025
  Publisher DOI
  
  
• Grading defects: evaluating approximate circuits for error-tolerant systems - Conference Paper
  Martino, Gianluca; Garcia-Ortiz, Alberto; Schammer, Lutz; Fey, Görschwin
  IEEE Nordic Circuits and Systems Conference, NorCAS 2025
  Publisher DOI
  
  
• Identification of hybrid systems with dynamics-based modeling through symbolic regression - Journal Article
  Plambeck, Swantje; Schmidt, Maximilian; Subias, Audine; Travé-massuyès Louise; Fey, Görschwin
  Journal of Systems and Software 231: 112639 (2026)
  Open Access | Publisher DOI
  
  
• Leveraging the benefits of information flow tracking for detecting hardware design flaws - Conference Paper
  Ganiga, Srinidhi Rathnakar; Berger, Bernhard Johannes; Fey, Görschwin
  28th Forum on Specification and Design Language, FDL 2025
  Publisher DOI
  
  
• Advancing humanoid robotics with Rust: an open framework for runtime efficiency - Conference Paper
  HULKs, Team; Schmidt, Maximilian; Sieck, Hendrik; Felber, Ole; Nölle, Konrad Valentin; Scheuch, Luis; Göttsch, Patrick
  27th RoboCup International Symposium 2024
  Publisher DOI
  
  
• Work in progress : optimizing schedulability using cache-bypassing - Conference Paper
  Fischer, Thilo; Falk, Heiko
  31st IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2025
  Publisher DOI
  
  
• Compiler-level DMA-aware multi-objective dynamic SPM allocation - Journal Article
  Jadhav, Shashank; Falk, Heiko
  Real-Time Systems 61: 53–117 (2025)
  Open Access | Publisher DOI
  
  
• Design of a high-performance tensor–matrix multiplication with BLAS - Journal Article
  Başsoy, Cem Savaş
  Journal of Computational Science 87: 102568 (2025)
  Open Access | Publisher DOI
  
  
• Data-driven fault localization in cyber-physical systems using dependency graphs and anomaly detection - Book Part
  Grünhagen, Arne; Eichler, Annika; Tropmann-Frick, Marina; Fey, Görschwin
  Frontiers in artificial intelligence and applications 399: 128-144 (2025)
  Open Access | Publisher DOI
  
  
• Impact of seismic activities on the optical synchronization system of the European X-ray free-electron laser - Journal Article
  Grünhagen, Arne; Schütte, Maximilian; Lamb, Thorsten; Schulz, Sebastian; Eichler, Annika; Tropmann-Frick, Marina; Fey, Görschwin; Schlarb, Holger
  High Power Laser Science and Engineering 13: e40 (2025)
  Open Access | Publisher DOI
  
  
• Specification mining facing generative AI - Conference Paper
  Fey, Görschwin; Foster, Harry; Ghasempuri, Tara; Gopalan, Badri; Müller, Jörg; Pandey, Manish
  Design, Automation and Test in Europe Conference, DATE 2025
  Publisher DOI
  
  
• Data-driven probabilistic evaluation of logic properties with PAC-confidence on Mealy machines - Conference Paper
  Plambeck, Swantje; Salamati, Ali; Hüllermeier, Eyke; Fey, Görschwin
  28th Workshop "Methods and Description Languages for Modeling and Verification of Circuits and Systems", MBMV 2025
  
  
• Information flow analysis – understanding the trade-offs between static and dynamic analysis - Conference Paper
  Schammer, Lutz; Martino, Gianluca; Fey, Görschwin
  28th Workshop "Methods and Description Languages for Modeling and Verification of Circuits and Systems", MBMV 2025
  
  
• Why less is sometimes more: using Boolean literals to solve 2048 - Journal Article
  Berger, Bernhard Johannes; Plump, Christina; Drechsler, Rolf
  IT - Information Technology 66 (4): 174-186 (2025)
  Publisher DOI
  
  
• Data-driven fault localization in cyber-physical systems using dependency graphs and anomaly detection - Book Part
  Grünhagen, Arne; Eichler, Annika; Tropmann-Frick, Marina; Fey, Görschwin
  Frontiers in artificial intelligence and applications 399: 129-145 (2025)
  Open Access | Publisher DOI
  
  
• Analyzing the worst-case behavior of multi-level caches in concurrent real-time systems - Doctoral Thesis
  Fischer, Thilo
  Technische Universität Hamburg (2025)
  Open Access
  
  
• DuRTL - information flow analysis tool for register transfer level hardware designs - Conference Paper
  Schammer, Lutz; Martino, Gianluca; Fey, Görschwin
  38th International Conference on VLSI Design and 24th International Conference on Embedded Systems (VLSID, 2025)
  Publisher DOI
  
  
• European Test Symposium Teams: an anniversary snapshot - Conference Paper
  Jenihhin, M.; Raik, J.; Jutman, A.; Cherezova, N.; Ubar, R.; Miclea, L.; Enyedi, S.; Stefan, I.; Stan, O.; Corches, C.; Peng, Z.; Eles, P.; Drechsler, R.; Eggersglus, S.; Fey, Görschwin; Glowatz, A.; Tille, D.; Gielen, G.; Coyette, A.; Dobbelaere, W.; Vanhooren, R.; Chuang, P. Y.; Marinissen, E. J.; Di Natale, G.; Barragan, M.; Maistri, P.; Mir, S.; Vatajelu, E. I.; Bernardi, P.; Di Carlo, S.; Prinetto, P.; Sonza Reorda, M.; Violante, M.; Stratigopoulos, H. G.; Michael, M. K.; Neophytou, S.; Hadjitheophanous, S.; Christou, K.; Skitsas, M.; Bosio, A.; Deveautour, B.; Girard, P.; Traiola, M.; Virazel, A.; Fernandes Dos Santos, F.; Kritikakou, A.; Casagranda, G.; Vallero, M.; Vella, F.; Rech, P.; Bolzani Poehls, L. M.; Krstic, M.; Andjelkovic, M.; Vargas, F.; Tshagharyan, G.; Harutyunyan, G.; Vardanian, V.; Shoukourian, S.; Zorian, Y.; Dworak, J.; Nepal, K.; Manikas, T.; Taouil, M.; Fieback, M.; Gebregiorgis, A.; Bishnoi, R.; Hamdioui, S.; Chatterjee, A.; Saha, A.; Komarraju, S.; Ma, K.; Amarnath, C.; Tahoori, M.; Mayahinia, M.; Rajabalipanah, M.; Basharkhah, K.; Nosrati, N.; Jahanpeima, Z.; Navabi, Z.; Wunderlich, H. J.; Hellebrand, S.
  30th IEEE European Test Symposium, ETS 2025
  Open Access | Publisher DOI
  
  

Projekte

• ENGINEXT - Engineering our Future: Experimentierfeld Campus (LS4)
  Stiftung Innovation in der Hochschullehre; Laufzeit 2025-2029
  Projektleitung: Flämig, Heike; Fey, Görschwin; Kautz, Christian; Bursac, Nikola; Gescher, Johannes; Billerbeck, Katrin
  Mitarbeitende: Steffen, Marcel
  
  
• CAUSE - GRK 2972: Konzepte und Algorithmen für - und Nutzung von - selbsterklärenden digital kontrollierten Systemen
  Deutsche Forschungsgemeinschaft (DFG); Laufzeit 2024-2029
  Projektleitung: Fey, Görschwin
  Co-Projektleitung: Falk, Heiko; Schupp, Sibylle; Drechsler, Rolf; Beetz, Michael; Koschke, Rainer; Fränzle, Martin; Klos, Verena; Lehnhoff, Sebastian; Wehrheim, Heike
  
  
• DI-ExViPas - Open-Source-Test- und Analysewerkzeuge zur Verbesserung der Sicherheit von Chiparchitekturen
  Bundesministerium für Forschung, Technologie und Raumfahrt (BMFTR); Laufzeit 2024-2027
  Projektleitung: Fey, Görschwin
  Co-Projektleitung: Berger, Bernhard Johannes
  
  
• AGenC - Automatische Generierung von Modellen für Prädikation, Testen und Monitoring cyber-physischer Systeme
  Bundesministerium für Forschung, Technologie und Raumfahrt (BMFTR); Laufzeit 2022-2025
  Projektleitung: Braun, Philipp Maximilian; Fey, Görschwin
  Co-Projektleitung: Rose, Hendrik Wilhelm
  Externe beteiligte Einrichtungen: Fraunhofer-Gesellschaft zur Förderung der angewandten Forschung e. V.; OFFIS e.V.; Vivavis AG; KALP GmbH
  
  
• Funktionale Online-Garantien für ungenau rechnende Hardware-Systeme durch Kombination von Test und Monitoring
  Deutsche Forschungsgemeinschaft (DFG); Laufzeit 2022-2026
  Projektleitung: Fey, Görschwin
  Externe beteiligte Einrichtungen: Universität Bremen
  
  
• MemOpt - Memory Hierarchy Code Optimization
  Laufzeit 2022-2025
  Projektleitung: Falk, Heiko
  Mitarbeitende: Jadhav, Shashank
  
  

Kooperationspartner

• ONERA Centre Francais de Recherche Aerospatiale
• NXP Semiconductors Germany GmbH