Embedded Architectures & Systems Group

The Embedded Architectures & Systems Group, headed by Prof. Dr. Marcel Baunach, focuses on applied and basic research on hardware and software for highly dependable and sustainable embedded systems. Novel processor architectures and operating systems for future transportation, advanced robotics, and the Internet of Things are just some examples.

Regarding hardware, our research is on partially reconfigurable and extensible, yet dependable computing platforms. We focus on designing modular microcontrollers that can be changed at runtime and the optimization of hardware design flows. Regarding software, our research is on sustainability through updates, verified correctness, portability to new hardware, support for re-configurable MCUs, and the integration of AI/ML into application and system software.

Mehr Informationen über die "Embedded Architectures & Systems"  Arbeitsgruppe finden Sie hier

Mitarbeiter
Koordinator
Marcel Carsten Baunach
Univ.-Prof. Dipl.-Inf. Univ. Dr.rer.nat.
Visitenkarte
Teilnehmer
Muhammad Tanveer Ali Ahmad
Leandro Batista Ribeiro
Eng.
Peter Brungs
Kristof Kanics
Dipl.-Ing. BSc
Meinhard Kissich
Dipl.-Ing. BSc
Maja Malenko
MSc
Vignesh Manjunath
M.Tech.
Renata Martins Gomes
Eng.
Drona Nagarajan
M.
Visitenkarte
Tobias Peter Scheipel
Dipl.-Ing. Dr.techn. BSc
Visitenkarte

Forschungsprojekte

Ausgewählte Publikationen

2024
Beitrag in Fachzeitschrift
Renata Martins Gomes, Bernhard Aichernig and Marcel Carsten Baunach A framework for embedded software portability and verification Publikation in PURE anzeigen
2023
Tagungsbeitrag
Muhammad Tanveer Ali Ahmad, Jesus Pestana, Leandro Batista Ribeiro and Marcel Carsten Baunach Budget-Based Explainable Schedulability Analysis for Automotive Applications IEEE Real-Time Systems Symposium Publikation in PURE anzeigen
2022
Buchkapitel
Marcel Carsten Baunach Eingangsstatement von Marcel Baunach (Transkript)Die ethischen Herausforderungen des automatisierten Fahrens47-51 Publikation in PURE anzeigen
Tagungsbeitrag
Tobias Peter Scheipel, Leandro Batista Ribeiro, Tim Sagaster and Marcel Carsten Baunach SmartOS: An OS Architecture for Sustainable Embedded Systems 2022 - Fruehjahrstreffen FG BS Publikation in PURE anzeigen
Renata Martins Gomes and Marcel Carsten Baunach A framework for OS portability: from formal models to low-level code Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022 1156-1165 Publikation in PURE anzeigen
Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad and Marcel Carsten Baunach Verifying Liveness and Real-Time of OS-Based Embedded Software 2022 25th Euromicro Conference on Digital System Design (DSD) 679-688 Publikation in PURE anzeigen
Sonstiger Beitrag
Hyunyoung Oh, Dongil Hwang, Maja Malenko, Myunghyun Cho, Hyungon Moon, Marcel Carsten Baunach and Yunheung Paek XTENSTORE: Fast Shielded In-memory Key-Value Store on a Hybrid x86-FPGA System Publikation in PURE anzeigen
Vignesh Manjunath, Konrad Diwold and Marcel Carsten Baunach Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation Publikation in PURE anzeigen
2021
Tagungsbeitrag
Tobias Peter Scheipel and Marcel Carsten Baunach papagenoReQ: Generation of Embedded Systems from Application Code Requirements 2021 International Conference on Electrical, Communication and Computer Engineering (ICECCE) Publikation in PURE anzeigen
Tobias Peter Scheipel, Peter Brungs and Marcel Carsten Baunach A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime 24th Euromicro Conference on Digital System Design (DSD) 199 Publikation in PURE anzeigen
Maja Malenko, Leandro Batista Ribeiro and Marcel Carsten Baunach Work-in-Progress: Improving Security and Maintainability in Modular Embedded Systems with Hardware Support CODES/ISSS '21: Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis 35-36 Publikation in PURE anzeigen
Renata Martins Gomes and Marcel Carsten Baunach A Study on the Portability of IoT Operating Systems 2021 - Fruehjahrstreffen FG BS Publikation in PURE anzeigen
2020
Tagungsbeitrag
Tobias Peter Scheipel and Marcel Carsten Baunach papagenoX: Generation of Electronics and Logic for Embedded Systems from Application Software SENSORNETS 2020 - Proceedings of the 9th International Conference on Sensor Networks 136-141 Publikation in PURE anzeigen
Gernot Fiala, Tobias Peter Scheipel, Werner Neuwirth and Marcel Carsten Baunach FPGA-Based Debugging with Dynamic Signal Selection at Run-Time 17th Workshop on Automotive Software Engineering (ASE 2020) Publikation in PURE anzeigen
Leandro Batista Ribeiro, Marcel Carsten Baunach and Fabian Schlager Towards Automatic SW Integration in Dependable Embedded Systems International Conference on Embedded Wireless Systems and Networks (EWSN) Publikation in PURE anzeigen
Renata Martins Gomes, Bernhard Aichernig and Marcel Carsten Baunach A Formal Modeling Approach for Portable Low-Level OS Functionality Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings 155-174 Publikation in PURE anzeigen
Sonstiger Beitrag
Tobias Peter Scheipel and Marcel Carsten Baunach papagenoX: Generation of Electronics and Logic for Embedded Systems from Application Software Publikation in PURE anzeigen
2019
Beitrag in Fachzeitschrift
Tobias Peter Scheipel and Marcel Carsten Baunach Towards an Automated Printed Circuit Board Generation Concept for Embedded Systems Publikation in PURE anzeigen
Tagungsbeitrag
Tobias Peter Scheipel and Marcel Carsten Baunach papagenoPCB: An Automated Printed Circuit Board Generation Approach for Embedded Systems Prototyping ICONS 2019 - The Fourteenth International Conference on Systems 20-25 Publikation in PURE anzeigen
Leandro Batista Ribeiro and Marcel Carsten Baunach COFIE: a regex-like interaction and control flow description 2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS) 67-72 Publikation in PURE anzeigen
Maja Malenko and Marcel Baunach Device Driver and System Call Isolation in Embedded Devices Proceedings - Euromicro Conference on Digital System Design, DSD 2019 283-290 Publikation in PURE anzeigen
Maja Malenko and Marcel Baunach Hardware/software co-designed security extensions for embedded devices Architecture of Computing Systems - ARCS 2019 - 32nd International Conference, Proceedings 3-14 Publikation in PURE anzeigen
Renata Martins Gomes and Marcel Carsten Baunach Code Generation from Formal Models for Automatic RTOS Portability CGO 2019: Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization 271-272 Publikation in PURE anzeigen
Maja Malenko and Marcel Carsten Baunach Hardware/Software Co-designed Peripheral Protection in Embedded Devices 2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS) 790-795 Publikation in PURE anzeigen
2018
Beitrag in Fachzeitschrift
Marcel Carsten Baunach, Renata Martins Gomes, Maja Malenko, Fabian Mauroner, Leandro Batista Ribeiro and Tobias Peter Scheipel Smart mobility of the future – a challenge for embedded automotive systems Publikation in PURE anzeigen
Markus Nager, Marcel Carsten Baunach, Peter Priller and Georg Macher Real-Time Multiplexing of Mixed-Criticality Data Streams for Automotive Multi-Core Test Systems Publikation in PURE anzeigen
Sonstiger Beitrag
Fabian Mauroner and Marcel Carsten Baunach Task Priority aware SoC-Bus for Embedded Systems Publikation in PURE anzeigen
Fabian Mauroner and Marcel Carsten Baunach Remote Instruction Call: An RPC approach on Instructions for Embedded Multi-Core Systems Publikation in PURE anzeigen
Fabian Mauroner and Marcel Carsten Baunach CoStack: Collaborative Stack Sharing for Embedded Real-Time Systems Publikation in PURE anzeigen
Fabian Mauroner and Marcel Carsten Baunach EventQueue: An Event based and Priority aware Interprocess Communication for Embedded Systems Publikation in PURE anzeigen
Fabian Mauroner and Marcel Carsten Baunach mosartMCU: Multi-Core Operating-System-Aware Real-Time Microcontroller Publikation in PURE anzeigen
2017
Tagungsbeitrag
Markus Nager, Marcel Carsten Baunach, Peter Priller and Georg Franz Heinrich Macher Real-Time Multiplexing of Mixed-Criticality Data Streams for Automotive Multi-Core Test Systems 2017 IEEE International Conference on Vehicular Electronics and Safety (ICVES) 220-227 Publikation in PURE anzeigen
Tobias Peter Scheipel, Fabian Mauroner and Marcel Carsten Baunach Einheit zur anwendungsbezogenen Leistungsmessung für die RISC-V-Architektur Logistik und Echtzeit 69-78 Publikation in PURE anzeigen
Tobias Peter Scheipel, Fabian Mauroner and Marcel Carsten Baunach System-Aware Performance Monitoring Unit for RISC-V Architectures Proceedings of the 20th Euromicro Conference on Digital System Design (DSD) Publikation in PURE anzeigen
Leandro Batista Ribeiro and Marcel Carsten Baunach Towards Dynamically Composed Real-time Embedded Systems 2017 Betriebssysteme und Echtzeit 11-20 Publikation in PURE anzeigen
Renata Martins Gomes, Marcel Carsten Baunach, Leandro Batista Ribeiro, Maja Malenko and Fabian Mauroner A Co-Designed RTOS and MCU Concept for Dynamically Composed Embedded Systems Proceedings of OSPERT 2017 Publikation in PURE anzeigen
Sonstiger Beitrag
Renata Martins Gomes, Marcel Carsten Baunach and Leandro Batista Ribeiro MCSmartOS: A Dependable OS for Compositional Embedded Systems Publikation in PURE anzeigen
Renata Martins Gomes, Leandro Batista Ribeiro and Marcel Carsten Baunach MCSmartOS: A Dependable OS for Compositional Embedded Systems Publikation in PURE anzeigen
Leandro Batista Ribeiro, Fabian Mauroner, Renata Martins Gomes, Maja Malenko and Marcel Carsten Baunach A co-designed RTOS/MCU Architecture for dependable Embedded Systems Publikation in PURE anzeigen
Fabian Mauroner, Maja Malenko and Marcel Carsten Baunach mosartMCU: An Operating System aware real-Time MCU Publikation in PURE anzeigen
Fabian Mauroner and Marcel Carsten Baunach StackMMU: Dynamic Stack Sharing for Embedded Systems Publikation in PURE anzeigen
Fabian Mauroner and Marcel Carsten Baunach EventIRQ: An Event based and Priority aware IRQ handling for Multi-Tasking Environments Publikation in PURE anzeigen
2016
Buchkapitel
Marcel Carsten Baunach and Leandro Batista Ribeiro 14. Workshop Automotive Software EngineeringLecture Notes in Informatics (LNI) Publikation in PURE anzeigen
Marcel Carsten Baunach and Maja Malenko Real-Time and Security Requirements for the Internet of Things Operating SystemsECHTZEIT 2016 Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Carlo Alberto Boano, Kay Uwe Römer, Roderick Bloem, Klaus Witrisal, Marcel Carsten Baunach and Martin Horn Dependability for the Internet of Things Publikation in PURE anzeigen
Tagungsbeitrag
Marcel Carsten Baunach and Peter Brungs Einsatz von dynamisch rekonfigurierbaren FPGAs in Fahrzeugen Lecture Notes in Informatics (LNI) Publikation in PURE anzeigen
Sonstiger Beitrag
Marcel Carsten Baunach Operating Systems and Processor Architectures for a Dependable Internet of Things Publikation in PURE anzeigen
Marcel Carsten Baunach Compositional Embedded Systems Designfor Multi-Tasking and Multi-Core Environments Publikation in PURE anzeigen
2015
Tagungsbeitrag
Marcel Carsten Baunach, Renata Martins Gomes and Fabian Mauroner Collaborative Resource Management for Multi-Core AUTOSAR OS Betriebssysteme und Echtzeit 1-10 Publikation in PURE anzeigen
Sonstiger Beitrag
Fabian Mauroner and Marcel Carsten Baunach Hardware assisted Real-Time Resource Management for Multi-Core MCU Architectures Publikation in PURE anzeigen
2014
Tagungsbeitrag
Marcel Carsten Baunach Handling Time and Reactivity for Synchronization and Clock Drift Calculation in Wireless Sensor/Actuator Networks International Conference on Sensor Networks 63-72 Publikation in PURE anzeigen
Marcel Carsten Baunach Advanced Timestamping for pairwise Clock Drift Detection in Wireless Sensor/Actuator Networks 13. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze" 1-4 Publikation in PURE anzeigen
Übersicht
image/svg+xml

FORSCHUNGSBEREICHE

LAUFENDE PROJEKTE
ABGESCHLOSSENE PROJEKTE