ITI/Über uns/Team

Prof. Marcel Baunach

Kurzbiographie

Marcel Baunach ist Leiter der “Embedded Architectures & Systems” Arbeitsgruppe (EAS Group) am Institut für Technische Informatik der Technischen Universität Graz. Diplom und Promotion mit Auszeichnung erhielt er von der Universität Würzburg. Im Anschluss arbeitete er als Leiter der Hardwareentwicklung für Diagnosesysteme in der Automobilindustrie.

An der TU Graz forscht er an Hardware und Software für hochzuverlässige und nachhaltige eingebettete Systeme, insbesondere an Echtzeitbetriebssystemen und Prozessorarchitekturen. Schwerpunkte bilden Konzepte zu Design, Verifikation und Portierbarkeit von Systemsoftware, die dynamische Komposition modularer Systeme sowie applikationsspezifische und rekonfigurierbare Prozessoren. Anwendungsbereiche umfassen z. B. zukünftige Fahrzeuge, das Internet der Dinge oder Cyber-physikalische Systeme.

Lehrveranstaltungen

LV-Nr.
Titel
SWS
Art
Semester
448.009
Design of Real-Time Systems, Laboratory
SWS
2
Art
LU
Semester
WS
448.024
Processor Architecture
SWS
2
Art
VO
Semester
SS
448.026
Real-Time Operating Systems
SWS
2
Art
VO
Semester
SS
448.028
Architektur von Echtzeitbetriebssystemen
SWS
2
Art
PT
Semester
SS
448.029
Microcontroller Design, Laboratory
SWS
4
Art
LU
Semester
SS
448.076
Embedded Automotive Software
SWS
2
Art
VU
Semester
WS
448.077
Real-Time Bus Systems
SWS
1
Art
VO
Semester
WS
448.081
Seminar/Project Technical Informatics
SWS
4
Art
SP
Semester
SS
448.081
Seminar/Project Technical Informatics
SWS
4
Art
SP
Semester
WS
448.088
Bachelorarbeit Electrical and Electronics Engineering
SWS
4
Art
SP
Semester
SS
448.088
Bachelorarbeit Electrical and Electronics Engineering
SWS
4
Art
SP
Semester
WS
448.089
Master-Seminarprojekt (ET)
SWS
3
Art
SP
Semester
WS
448.090
Master-Seminarprojekt (ET-Wirtschaft)
SWS
3
Art
SP
Semester
WS
448.091
Bachelorarbeit Information and Computer Engineering
SWS
4
Art
SP
Semester
SS
448.092
Bachelorarbeit Informatik
SWS
2
Art
SP
Semester
SS
448.093
Verfassen Wissenschaftlicher Arbeiten
SWS
1
Art
SE
Semester
WS
448.094
Bachelorarbeit Software Engineering and Management
SWS
2
Art
SP
Semester
SS
448.095
Bachelorprojekt
SWS
1
Art
PT
Semester
SS
448.096
Wissenschaftliches Arbeiten
SWS
1
Art
SE
Semester
WS
448.097
Bachelorarbeit - Digital Engineering
SWS
4
Art
SP
Semester
SS
448.112
AK Embedded Automotive Systems
SWS
2
Art
PV
Semester
SS
448.112
AK Embedded Automotive Systems
SWS
2
Art
PV
Semester
WS

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
Vignesh Manjunath and Marcel Baunach A framework for static analysis and verification of low-level RTOS code Publikation in PURE anzeigen
Renata Martins Gomes, Bernhard Aichernig and Marcel Baunach Correction to Publikation in PURE anzeigen
Tagungsbeitrag
Drona Nagarajan, Tobias Scheipel and Marcel Carsten Baunach Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems Proceedings of the 39th ACM/SIGAPP Symposium On Applied Computing 436-445 Publikation in PURE anzeigen
Leo Moser, Meinhard Kissich, Tobias Scheipel and Marcel Carsten Baunach Stitching FPGA Fabrics with FABulous and OpenLane 2 Proceedings of the 21st ACM International Conference on Computing Frontiers 2024 Workshops and Special Sessions, CF 2024 Companion 71-74 Publikation in PURE anzeigen
Meinhard Kissich and Marcel Carsten Baunach FazyRV: Closing the Gap between 32-Bit and Bit-Serial RISC-V Cores with a Scalable Implementation Proceedings of the 21st ACM International Conference on Computing Frontiers, CF 2024 240-248 Publikation in PURE anzeigen
Muhammad Tanveer Ali Ahmad, Leandro Batista Ribeiro, Michael Krisper and Marcel Baunach Avoiding Empty Instances and Offset Drifts of Basic Sequencer Tasks in Automotive Operating System SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing 400-409 Publikation in PURE anzeigen
2023
Buchkapitel
Stefan Kugele, Lars Grunske, Christian Allmann, Marcel Baunach, Klaus Becker, Lenz Belzner, Mirko Conrad, Heiko Dörr, Kerstin Hartig, Steffen Helke, Paula Herber, Thomas Kropf, Wolfgang Müller, Thomas Noack, Ralf Reißing, Eric Sax, Jörn Schneider, Ramin Tavakoli, Thomas Vogel, Andreas Vogelsang, Stefan Kugele and Lars Grunske 20th Workshop on Automotive Software Engineering (ASE'23)Software Engineering 2023 - Fachtagung des GI-Fachbereichs Softwaretechnik137-138 Publikation in PURE anzeigen
Tagungsbeitrag
Meinhard Kissich and Marcel Carsten Baunach Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide Proceedings of the 26th Euromicro Conference on Digital System Design (DSD) Publikation in PURE anzeigen
Meinhard Kissich, Kristof Kanics, Klaus Weinbauer, Tobias Scheipel and Marcel Carsten Baunach One Solution to Rule Them All: ATTEST as Unified Testing Solution for Programming Courses Proceedings in Tagungsband des FG-BS Herbsttreffens 2023 Publikation in PURE anzeigen
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
Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen and Marcel Carsten Baunach A Modeling Concept for Formal Verification of OS-Based Compositional Software Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings 26-46 Publikation in PURE anzeigen
Meinhard Kissich, Klaus Weinbauer and Marcel Carsten Baunach ATTEST Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023 199-203 Publikation in PURE anzeigen
Meinhard Kissich, Klaus Weinbauer and Marcel Carsten Baunach ATTEST: Automated and Thorough Testing of Embedded Software in Teaching Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023 199-203 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
Tobias Scheipel, Florian Angermair and Marcel Carsten Baunach moreMCU: A Runtime-reconfigurable RISC-V Platform for Sustainable Embedded Systems 25th Euromicro Conference on Digital System Design (DSD) 24-31 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
Maja Malenko, Leandro Batista Ribeiro and Marcel Carsten Baunach Protection and Relocation Extension for RISC-V Sixth Workshop on Computer Architecture Research with RISC-V Publikation in PURE anzeigen
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 Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 560-563 Publikation in PURE anzeigen
2021
Beitrag in Fachzeitschrift
Hexuan Li, Tarik Kanuric, Sadegh Arefnezhad, Zoltan Ferenc Magosi, Christoph Wellershaus, Darko Babic, Dario Babic, Viktor Tihanyi, Arno Eichberger and Marcel Carsten Baunach Phenomenological Modelling of Camera Performance for Road Marking Detection Publikation in PURE anzeigen
Tagungsbeitrag
Renata Martins Gomes and Marcel Carsten Baunach A Study on the Portability of IoT Operating Systems 2021 - Fruehjahrstreffen FG BS Publikation in PURE anzeigen
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
Vimal Sivashanmugam, Tobias Peter Scheipel, Marcel Carsten Baunach and Bhargav Adabala A Conversion Concept for a Legacy Software Model towards AUTOSAR Compliance 1st International Conference on Computing and Applied Engineering Publikation in PURE anzeigen
2020
Tagungsbeitrag
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
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
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
2019
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
Kay Uwe Römer, Klaus Witrisal, Marcel Carsten Baunach, Roderick Bloem and Martin Horn Dependable Internet of Things Proceedings of the International Conference on Sensor Networks (SENSORNETS) 2019 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
Tagungsbeitrag
Renata Martins Gomes and Marcel Carsten Baunach A Model-Based Concept for RTOS Portability 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications Publikation in PURE anzeigen
Fabian Mauroner and Marcel Baunach Stack MMU 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017 1-9 Publikation in PURE anzeigen
2017
Tagungsbeitrag
Norbert Sailer, Fabian Mauroner and Marcel Carsten Baunach meto1 - A Versatile and Modular 32 bit low power Sensor Node Prototyping Platform for the IoT Proceedings of the International Conference on Embedded Wireless Systems and Networks (EWSN) 2017 Publikation in PURE anzeigen
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
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
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
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
2015
Book
Nicolas Tsiftes, Niclas Finne, Zhitao He, Thiemo Voigt, Faisal Aslam, Ioannis Protonotoarios, Marco Antonio Zuniga, Koen Langendoen, Carlo Alberto Boano, Felix Jonathan Oppermann, Kay Uwe Römer, Marcel Carsten Baunach, James Brown, Utz Roedig, Ibrahim Ethem Bagci, John Vidler, Alejandro Veiga, Rafael Socorro Hernández, Màrius Montón and José Carlos Pacho Final Integrated Prototype and Experiment Publikation in PURE anzeigen
Marcel Carsten Baunach, Carlo Alberto Boano, Koen Langendoen, Alejandro Veiga, Màrius Montón, Felix Jonathan Oppermann, Utz Roedig, Kay Uwe Römer, Rafael Socorro Hernández, Thiemo Voigt and Marco Antonio Zuniga Report on 2nd year cooperation, dissemination and joint activities Publikation in PURE anzeigen
Felix Jonathan Oppermann, Carlo Alberto Boano, Kay Uwe Römer, Marcel Carsten Baunach, Faisal Aslam, Marco Antonio Zuniga, Ioannis Protonotoarios, Koen Langendoen, Niclas Finne, Nicolas Tsiftes and Thiemo Voigt Report on Protocol Selection, Parameterization, and Runtime Adaptation Publikation in PURE anzeigen
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
2014
Book
James Brown, John Vidler, Ibrahim Ethem Bagci, Utz Roedig, Carlo Alberto Boano, Felix Jonathan Oppermann, Marcel Carsten Baunach, Kay Uwe Römer, Marco Zuniga, Faisal Aslam and Koen Langendoen Report on Runtime Assurance Publikation in PURE anzeigen
Nicolas Tsiftes, Thiemo Voigt, Aslam Faisal, Ioannis Protonotoarios, Marco Antonio Zuniga, Koen Langendoen, Carlo Alberto Boano, Felix Jonathan Oppermann, Kay Uwe Römer, Marcel Carsten Baunach, James Brown, Utz Roedig, Patricio Moreno Montero, Rafael Socorro Hernández, Màrius Montón and José Carlos Pacho First Integrated Prototype and Experiment Publikation in PURE anzeigen
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
2013
Book
Marcel Carsten Baunach, Carlo Alberto Boano, Patricio Moreno Montero, Màrius Montón, Felix Jonathan Oppermann, Utz Roedig, Kay Uwe Römer, Rafael Soccoro, Thiemo Voigt and Marco Antonio Zúñiga Report on 1st year cooperation, dissemination and joint activities Publikation in PURE anzeigen
2012
Beitrag in Fachzeitschrift
Marcel Carsten Baunach CoMem: Collaborative Memory Management for Real-Time Operation within Reactive Sensor/Actor Networks Publikation in PURE anzeigen
Tagungsbeitrag
Marcel Carsten Baunach Towards Collaborative Resource Sharing under Real-Time Conditions in Multitasking and Multicore Environments 17th IEEE International Conference on Emerging Technology & Factory Automation (ETFA) 1-9 Publikation in PURE anzeigen
2011
Beitrag in Fachzeitschrift
Marcel Carsten Baunach Dynamic Hinting: Collaborative Real-Time Resource Management for Reactive Embedded Systems Publikation in PURE anzeigen
Tagungsbeitrag
Marcel Carsten Baunach, Armin Runge and Reiner Kolla Distribute & Erase, a Self-Calibration Algorithm for Ultrasound Based Localization Systems 10. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze" 0-0 Publikation in PURE anzeigen
Marcel Carsten Baunach, Armin Runge and Reiner Kolla Precise Self-Calibration of Ultrasound Based Indoor Localization Systems 2011 International Conference on Indoor Positioning and Indoor Navigation 0-0 Publikation in PURE anzeigen
2010
Proceedings
Marcel Carsten Baunach, Reiner Kolla and Clemens Mühlberger 9. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze" Publikation in PURE anzeigen
Tagungsbeitrag
Marcel Carsten Baunach Collaborative Memory Management for Reactive Sensor/Actor Systems The 35th Annual IEEE Conference on Local Computer Networks, LCN 2010 0-0 Publikation in PURE anzeigen
Marcel Carsten Baunach Dynamic Memory Management for Resource Constrained Sensor/Actor Systems 9. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze" 0-0 Publikation in PURE anzeigen
Marcel Carsten Baunach CoMem: Cooperative Memory Management for Real-Time Operation within Reactive Sensor/Actor Networks 18th International Conference on Real-Time and Network Systems 0-0 Publikation in PURE anzeigen
Marcel Carsten Baunach pVoted: A Progressive On-Line Algorithm for Robust Real-Time Localization and Tracking in spite of Faulty Distance Information 2010 International Conference on Indoor Positioning and Indoor Navigation (IPIN) 0-0 Publikation in PURE anzeigen
Kontakt
image/svg+xml
Marcel Carsten Baunach
Univ.-Prof. Dipl.-Inf. Univ. Dr.rer.nat.
Tel.
+43 316 873 - 6412