ITI/About/Team

Prof. Marcel Baunach

Short CV

Marcel Baunach is head of the “Embedded Architectures & Systems” Group (EAS) at the Institute of Technical Informatics at Graz University of Technology. He completed his Diploma and PhD with distinction at the University of Würzburg, Germany. He then went to industry as head of hardware development in the field of automotive diagnostics.

His research at TU Graz is on hardware and software for highly dependable and sustainable embedded systems, in particular on real-time operating systems and processor architectures. The focus is on concepts for the design, verification and portability of system software, the dynamic composition of modular systems, as well as on application-specific and reconfigurable processors. Application areas include future vehicles, the IoT or cyber-physical systems.

Courses

Code
Name
Hours
Type
Term
TUGRAZonline
448.009
Design of Real-Time Systems, Laboratory
Hours
2
Type
LU
Term
WS
TUGRAZonline
448.024
Processor Architecture
Hours
2
Type
VO
Term
SS
TUGRAZonline
448.026
Real-Time Operating Systems
Hours
2
Type
VO
Term
SS
TUGRAZonline
448.028
Architecture of Real-Time Operating Systems
Hours
2
Type
PT
Term
SS
TUGRAZonline
448.029
Microcontroller Design, Laboratory
Hours
4
Type
LU
Term
SS
TUGRAZonline
448.076
Embedded Automotive Software
Hours
2
Type
VU
Term
WS
TUGRAZonline
448.077
Real-Time Bus Systems
Hours
1
Type
VO
Term
WS
TUGRAZonline
448.081
Seminar/Project Technical Informatics
Hours
4
Type
SP
Term
SS
TUGRAZonline
448.081
Seminar/Project Technical Informatics
Hours
4
Type
SP
Term
WS
TUGRAZonline
448.088
Elektro-/Informationstechnisches Seminarprojekt
Hours
4
Type
SP
Term
SS
TUGRAZonline
448.088
Elektro-/Informationstechnisches Seminarprojekt
Hours
4
Type
SP
Term
WS
TUGRAZonline
448.089
Master-Seminarproject (Electrical Engineering)
Hours
3
Type
SP
Term
WS
TUGRAZonline
448.090
Master-Seminarproject (Electrical Engineering and Business)
Hours
3
Type
SP
Term
WS
TUGRAZonline
448.091
Bachelor Thesis Computer and Information Engineering
Hours
4
Type
SP
Term
SS
TUGRAZonline
448.092
Bachelor Thesis Informatics
Hours
2
Type
SP
Term
SS
TUGRAZonline
448.093
Writing of Scientific Works
Hours
1
Type
SE
Term
WS
TUGRAZonline
448.094
Bachelor Thesis Software Development
Hours
2
Type
SP
Term
SS
TUGRAZonline
448.095
Bachelor Project
Hours
1
Type
PT
Term
SS
TUGRAZonline
448.097
Bachelor Thesis Digital Engineering
Hours
4
Type
SP
Term
SS
TUGRAZonline
448.112
Selected Topics in Embedded Automotive Systems
Hours
2
Type
PV
Term
SS
TUGRAZonline
448.112
Selected Topics in Embedded Automotive Systems
Hours
2
Type
PV
Term
WS
TUGRAZonline

Publications

2024
Journal Article
Renata Martins Gomes, Bernhard Aichernig and Marcel Carsten Baunach A framework for embedded software portability and verification Show publication in PURE
Vignesh Manjunath and Marcel Baunach A framework for static analysis and verification of low-level RTOS code Show publication in PURE
Conference/Workshop Article
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 Show publication in PURE
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 Workshops and Special Sessions (CF ’24 Companion) 71-74 Show publication in PURE
Meinhard Kissich and Marcel Carsten Baunach FazyRV: Closing the Gap between 32-Bit and Bit-Serial RISC-V Cores with a Scalable Implementation 21st ACM International Conference on Computing Frontiers (CF ’24) 240-248 Show publication in PURE
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 Show publication in PURE
2023
Conference/Workshop Article
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) Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
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 Softwaretechnik 137-138 Show publication in PURE
2022
Book Chapter
Marcel Carsten Baunach Eingangsstatement von Marcel Baunach (Transkript)Die ethischen Herausforderungen des automatisierten Fahrens47-51 Show publication in PURE
Conference/Workshop Article
Tobias Peter Scheipel, Leandro Batista Ribeiro, Tim Sagaster and Marcel Carsten Baunach SmartOS: An OS Architecture for Sustainable Embedded Systems 2022 - Fruehjahrstreffen FG BS Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
2021
Journal Article
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 Show publication in PURE
Conference/Workshop Article
Renata Martins Gomes and Marcel Carsten Baunach A Study on the Portability of IoT Operating Systems 2021 - Fruehjahrstreffen FG BS Show publication in PURE
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) Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
2020
Conference/Workshop Article
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) Show publication in PURE
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 Show publication in PURE
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) Show publication in PURE
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 Show publication in PURE
2019
Conference/Workshop Article
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 Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
2018
Journal Article
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 Show publication in PURE
Markus Nager, Marcel Carsten Baunach, Peter Priller and Georg Macher Real-Time Multiplexing of Mixed-Criticality Data Streams for Automotive Multi-Core Test Systems Show publication in PURE
Conference/Workshop Article
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 Show publication in PURE
Fabian Mauroner and Marcel Baunach Stack MMU 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017 1-9 Show publication in PURE
2017
Conference/Workshop Article
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 Show publication in PURE
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 Show publication in PURE
Tobias Peter Scheipel, Fabian Mauroner and Marcel Carsten Baunach Einheit zur anwendungsbezogenen Leistungsmessung für die RISC-V-Architektur Logistik und Echtzeit 69-78 Show publication in PURE
Leandro Batista Ribeiro and Marcel Carsten Baunach Towards Dynamically Composed Real-time Embedded Systems 2017 Betriebssysteme und Echtzeit 11-20 Show publication in PURE
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 Show publication in PURE
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) Show publication in PURE
2016
Book Chapter
Marcel Carsten Baunach and Leandro Batista Ribeiro 14. Workshop Automotive Software EngineeringLecture Notes in Informatics (LNI) Show publication in PURE
Marcel Carsten Baunach and Maja Malenko Real-Time and Security Requirements for the Internet of Things Operating SystemsECHTZEIT 2016 Show publication in PURE
Journal Article
Carlo Alberto Boano, Kay Uwe Römer, Roderick Bloem, Klaus Witrisal, Marcel Carsten Baunach and Martin Horn Dependability for the Internet of Things Show publication in PURE
Conference/Workshop Article
Marcel Carsten Baunach and Peter Brungs Einsatz von dynamisch rekonfigurierbaren FPGAs in Fahrzeugen Lecture Notes in Informatics (LNI) Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
Conference/Workshop Article
Marcel Carsten Baunach, Renata Martins Gomes and Fabian Mauroner Collaborative Resource Management for Multi-Core AUTOSAR OS Betriebssysteme und Echtzeit 1-10 Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
Conference/Workshop Article
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 Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
2012
Journal Article
Marcel Carsten Baunach CoMem: Collaborative Memory Management for Real-Time Operation within Reactive Sensor/Actor Networks Show publication in PURE
Conference/Workshop Article
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 Show publication in PURE
2011
Journal Article
Marcel Carsten Baunach Dynamic Hinting: Collaborative Real-Time Resource Management for Reactive Embedded Systems Show publication in PURE
Conference/Workshop Article
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 Show publication in PURE
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 Show publication in PURE
2010
Proceedings
Marcel Carsten Baunach, Reiner Kolla and Clemens Mühlberger 9. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze" Show publication in PURE
Conference/Workshop Article
Marcel Carsten Baunach Collaborative Memory Management for Reactive Sensor/Actor Systems The 35th Annual IEEE Conference on Local Computer Networks, LCN 2010 0-0 Show publication in PURE
Marcel Carsten Baunach Dynamic Memory Management for Resource Constrained Sensor/Actor Systems 9. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze" 0-0 Show publication in PURE
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 Show publication in PURE
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 Show publication in PURE
Contact
image/svg+xml
Marcel Carsten Baunach
Univ.-Prof. Dipl.-Inf. Univ. Dr.rer.nat.
Phone
+43 316 873 - 6412
Fax
+43 316 873 - 106412