Embedded Operating Systems
Vehicular networks that wirelessly connect vehicles, infrastructure, and pedestrians will be the communication backbone for future transportation. Networked smart, semi-automatic and fully autonomous vehicles will rely on shared information, distributed intelligence, and joint actions to optimize traffic/logistics, reduce pollution, and increase road safety. However, great dynamics, continuously changing network topolgies, and heterogeneous devices make dependable communication hard and demand for self-organizing radio protocols at all layers of the communication stack. This project aims on researching the foundations and practical application of self-organizing radio protocols for massively dynamic networks of mobile devices. Thus, nature-inspired techniques for medium acces control are equally important as managing multi-hop communication.
Mitarbeiter
Projektleiter/in an der OE
Marcel Carsten Baunach
Univ.-Prof. Dipl.-Inf. Univ. Dr.rer.nat.
Teilnehmer / Mitarbeiter
Leandro Batista Ribeiro
Eng.
Maja Malenko
MSc
Renata Martins Gomes
Eng.
Fabian Mauroner
Dipl.-Ing. BSc
Tobias Peter Scheipel
Dipl.-Ing. BSc
Fördergeber
  • Bundesministerium für Wissenschaft, Forschung und Wirtschaft, BMWFW
  • AVL List GmbH
Forschungsgebiete
  • Embedded Automotive Systems

Ausgewählte Publikationen

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
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
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
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
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
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
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
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
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
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
2016
Buchkapitel
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
Sonstiger Beitrag
Marcel Carsten Baunach Operating Systems and Processor Architectures for a Dependable Internet of Things Publikation in PURE anzeigen
2014
Tagungsbeitrag
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
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
Sonstiger Beitrag
Felix Jonathan Oppermann and Marcel Carsten Baunach Advanced Timestamping for pairwise Clock Drift Detection in Wireless Sensor/Actuator Networks Publikation in PURE anzeigen