Embedded Automotive Systems

Research output

Research output per year 2014 2016 2017 2018 2019 2022 2024

• 28 Conference paper
• 7 Paper
• 5 Poster
• 4 Article
• 7 More
  • 3 (Old data) Lecture or Presentation
  • 2 Other chapter contribution
  • 1 Chapter
  • 1 Abstract

Research output per year

Research output per year

Search results

• 2024

  A framework for embedded software portability and verification: From formal models to low-level code

  Martins Gomes, R., Aichernig, B. & Baunach, M. C., 1 Feb 2024, (E-pub ahead of print) In: Software and Systems Modeling. 2024

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Software Portability 100%
  • Functionality Level 16%
  • Factorial Function 16%
• 2023

  Budget-Based Explainable Schedulability Analysis for Automotive Applications

  Ali Ahmad, M. T., Pestana, J., Batista Ribeiro, L. & Baunach, M. C., Dec 2023, IEEE Real-Time Systems Symposium: 2nd International Workshop on Explainability of Real-Time Systems and their Analysis.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access
• 2022

  A framework for OS portability: from formal models to low-level code

  Martins Gomes, R. & Baunach, M. C., 25 Apr 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. Association of Computing Machinery, p. 1156-1165 10 p. (Proceedings of the ACM Symposium on Applied Computing).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Portability 100%
  • Software 66%
  • Service 33%
  • Code Generation 33%
  • Operating System Kernel 33%

• Eingangsstatement von Marcel Baunach (Transkript)

  Baunach, M. C., 2022, Die ethischen Herausforderungen des automatisierten Fahrens: Dokumentation einer Diskursveranstaltung. Getzinger, G., Lex, C. & Pilinger, A. (eds.). Graz: Verlag der Technischen Universität Graz, p. 47-51 (Science, Technology and Society (STS)).

  Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

• Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation

  Manjunath, V., Diwold, K. & Baunach, M. C., 17 Mar 2022.

  Research output: Contribution to conference › Abstract › peer-review

• SmartOS: An OS Architecture for Sustainable Embedded Systems

  Scheipel, T. P., Batista Ribeiro, L., Sagaster, T. & Baunach, M. C., 17 Mar 2022, 2022 - Fruehjahrstreffen FG BS. Gesellschaft für Informatik , 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  • Software 100%
  • Hardware 100%
  • Embedded Systems 100%
  • Operating Systems 66%
  • System Architectures 33%

• Verifying Liveness and Real-Time of OS-Based Embedded Software

  Batista Ribeiro, L., Nagarajan, D., Manjunath, V., Ali Ahmad, M. T. & Baunach, M. C., Sept 2022, 2022 25th Euromicro Conference on Digital System Design (DSD). Fabelo, H., Ortega, S. & Skavhaug, A. (eds.). Institute of Electrical and Electronics Engineers, p. 679-688 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Liveness 100%
  • Embedded Software 100%
  • Software 66%
  • Evaluation 33%
  • Operating Systems 33%

• XTENSTORE: Fast Shielded In-memory Key-Value Store on a Hybrid x86-FPGA System

  Oh, H., Hwang, D., Malenko, M., Cho, M., Moon, H., Baunach, M. C. & Paek, Y., 2022, Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022. Bolchini, C., Verbauwhede, I. & Vatajelu, I. (eds.). p. 560-563 4 p. (Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Throughput 100%
  • Hardware Accelerator 100%
  • Lower Performance 100%
• 2021

  A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime

  Scheipel, T. P., Brungs, P. & Baunach, M. C., 1 Sept 2021, 24th Euromicro Conference on Digital System Design (DSD). Palermo, Italy: EUROMICRO, p. 199 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Restart 100%

• A Study on the Portability of IoT Operating Systems

  Martins Gomes, R. & Baunach, M. C., 11 Mar 2021, 2021 - Fruehjahrstreffen FG BS.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

• papagenoReQ: Generation of Embedded Systems from Application Code Requirements

  Scheipel, T. P. & Baunach, M. C., 12 Jun 2021, 2021 International Conference on Electrical, Communication and Computer Engineering (ICECCE) . IEEE Xplore

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Embedded System Design 100%

• Work-in-Progress: Improving Security and Maintainability in Modular Embedded Systems with Hardware Support

  Malenko, M., Batista Ribeiro, L. & Baunach, M. C., Jul 2021, CODES/ISSS '21: Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis . p. 35-36

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2020

  A Formal Modeling Approach for Portable Low-Level OS Functionality

  Martins Gomes, R., Aichernig, B. & Baunach, M. C., 2020, Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (eds.). Springer International, p. 155-174 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12310 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • formal modeling 100%
  • Target Platform 16%

• FPGA-Based Debugging with Dynamic Signal Selection at Run-Time

  Fiala, G., Scheipel, T. P., Neuwirth, W. & Baunach, M. C., 1 Jan 2020, 17th Workshop on Automotive Software Engineering (ASE 2020). 7 p. (CEUR Workshop Proceedings; vol. 2581).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  • Field Programmable Gate Arrays 100%
  • debugger 80%
  • Internal Signal 20%
  • Bitstream 20%
  • Samplerate 20%

• papagenoX: Generation of Electronics and Logic for Embedded Systems from Application Software

  Scheipel, T. P. & Baunach, M. C., 28 Feb 2020, SENSORNETS 2020 - Proceedings of the 9th International Conference on Sensor Networks. Ansari, N., Ahrens, A. & Benavente-Peces, C. (eds.). INSTICC – Institute for Systems and Technologies of Information, Control and Communication, Vol. 1. p. 136-141 6 p. (SENSORNETS 2020 - Proceedings of the 9th International Conference on Sensor Networks).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  • Reconfigurable Logic 100%

• papagenoX: Generation of Electronics and Logic for Embedded Systems from Application Software

  Scheipel, T. P. & Baunach, M. C., 28 Feb 2020.

  Research output: Contribution to conference › Poster › peer-review

• Towards Automatic SW Integration in Dependable Embedded Systems

  Batista Ribeiro, L., Baunach, M. C. & Schlager, F., Feb 2020, International Conference on Embedded Wireless Systems and Networks (EWSN).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2019

  Code Generation from Formal Models for Automatic RTOS Portability

  Martins Gomes, R. & Baunach, M. C., 4 Jan 2019, CGO 2019: Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization. IEEE Press, p. 271-272

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Automatic Code Generation 100%
  • Common Mistake 100%
  • Context Switching 100%
  • Machine Language 100%

• COFIE: a regex-like interaction and control flow description

  Batista Ribeiro, L. & Baunach, M. C., Aug 2019, 2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS). Institute of Electrical and Electronics Engineers, p. 67-72

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Software 100%
  • Control Flow 100%
  • Automation 50%
  • Integration Process 50%
  • Meta Information 50%

• Device Driver and System Call Isolation in Embedded Devices

  Malenko, M. & Baunach, M., 1 Aug 2019, Proceedings - Euromicro Conference on Digital System Design, DSD 2019. Konofaos, N. & Kitsos, P. (eds.). Institute of Electrical and Electronics Engineers, p. 283-290 8 p. 8875063. (Proceedings - Euromicro Conference on Digital System Design, DSD 2019).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • System Calls 100%
  • Interrupt Service Routine 20%

• Hardware/Software Co-designed Peripheral Protection in Embedded Devices

  Malenko, M. & Baunach, M. C., 2019, 2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS). Institute of Electrical and Electronics Engineers, p. 790-795

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Cybercriminals 100%

• Hardware/software co-designed security extensions for embedded devices

  Malenko, M. & Baunach, M., 1 Jan 2019, Architecture of Computing Systems - ARCS 2019 - 32nd International Conference, Proceedings. Pionteck, T., Brehm, J., Uhrig, S., Hochberger, C. & Schoeberl, M. (eds.). Springer-Verlag Italia, p. 3-14 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11479 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Memory Protection 100%

• papagenoPCB: An Automated Printed Circuit Board Generation Approach for Embedded Systems Prototyping

  Scheipel, T. P. & Baunach, M. C., 24 Mar 2019, ICONS 2019 - The Fourteenth International Conference on Systems. p. 20-25 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access
• 2018

  CoStack: Collaborative Stack Sharing for Embedded Real-Time Systems

  Mauroner, F. & Baunach, M. C., 23 Apr 2018.

  Research output: Contribution to conference › Paper › peer-review

• EventQueue: An Event based and Priority aware Interprocess Communication for Embedded Systems

  Mauroner, F. & Baunach, M. C., 6 Jun 2018.

  Research output: Contribution to conference › Paper › peer-review

• mosartMCU: Multi-Core Operating-System-Aware Real-Time Microcontroller

  Mauroner, F. & Baunach, M. C., 12 Jun 2018.

  Research output: Contribution to conference › Paper › peer-review

• Real-Time Multiplexing of Mixed-Criticality Data Streams for Automotive Multi-Core Test Systems

  Nager, M., Baunach, M. C., Priller, P. & Macher, G., 2018, In: IEEE Intelligent Transportation Systems Magazine. 16 p.

  Research output: Contribution to journal › Article › peer-review

• Remote Instruction Call: An RPC approach on Instructions for Embedded Multi-Core Systems

  Mauroner, F. & Baunach, M. C., 22 Feb 2018.

  Research output: Contribution to conference › Paper › peer-review

• Smart mobility of the future – a challenge for embedded automotive systems

  Baunach, M. C., Martins Gomes, R., Malenko, M., Mauroner, F., Batista Ribeiro, L. & Scheipel, T. P., 27 Jun 2018, In: Elektrotechnik und Informationstechnik. p. 304-308 5 p., 135.

  Research output: Contribution to journal › Article › peer-review

  • Update Mechanism 100%
  • Lines of Code 100%
  • Computing Platform 100%
  • Customer Requirement 100%
  • Embedded Operating System 100%

• Task Priority aware SoC-Bus for Embedded Systems

  Mauroner, F. & Baunach, M. C., 22 Feb 2018.

  Research output: Contribution to conference › Paper › peer-review
• 2017

  A co-designed RTOS/MCU Architecture for dependable Embedded Systems

  Batista Ribeiro, L., Mauroner, F., Martins Gomes, R., Malenko, M. & Baunach, M. C., 27 Jun 2017.

  Research output: Contribution to conference › Poster

  • Real-Time Operating System 100%
  • Maintainability 33%
  • Home Automation 33%
  • Participatory Design 33%
  • Secure Operation 33%

• A Co-Designed RTOS and MCU Concept for Dynamically Composed Embedded Systems

  Martins Gomes, R., Baunach, M. C., Batista Ribeiro, L., Malenko, M. & Mauroner, F., 27 Jun 2017, Proceedings of OSPERT 2017.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Einheit zur anwendungsbezogenen Leistungsmessung für die RISC-V-Architektur

  Scheipel, T. P., Mauroner, F. & Baunach, M. C., 2017, Logistik und Echtzeit. Springer Verlag, p. 69-78 (Informatik aktuell).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• EventIRQ: An Event based and Priority aware IRQ handling for Multi-Tasking Environments

  Mauroner, F. & Baunach, M. C., 1 Sept 2017.

  Research output: Contribution to conference › Paper › peer-review

• MCSmartOS: A Dependable OS for Compositional Embedded Systems

  Martins Gomes, R., Batista Ribeiro, L. & Baunach, M. C., 26 Apr 2017.

  Research output: Contribution to conference › Poster

• MCSmartOS: A Dependable OS for Compositional Embedded Systems

  Martins Gomes, R., Baunach, M. C. & Batista Ribeiro, L., 28 Mar 2017.

  Research output: Contribution to conference › Poster

• mosartMCU: An Operating System aware real-Time MCU

  Mauroner, F., Malenko, M. & Baunach, M. C., 28 Mar 2017. 1 p.

  Research output: Contribution to conference › Poster

• Real-Time Multiplexing of Mixed-Criticality Data Streams for Automotive Multi-Core Test Systems

  Nager, M., Baunach, M. C., Priller, P. & Macher, G. F. H., 27 Jun 2017, 2017 IEEE International Conference on Vehicular Electronics and Safety (ICVES) . p. 220-227 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• StackMMU: Dynamic Stack Sharing for Embedded Systems

  Mauroner, F. & Baunach, M. C., 15 Sept 2017.

  Research output: Contribution to conference › Paper › peer-review

  • Memory Management Unit 100%
  • Multitasking System 50%
  • Time Requirement 50%
  • hard real-time 50%
  • Memory Utilization 50%

• System-Aware Performance Monitoring Unit for RISC-V Architectures

  Scheipel, T. P., Mauroner, F. & Baunach, M. C., 31 Aug 2017, Proceedings of the 20th Euromicro Conference on Digital System Design (DSD).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Towards Dynamically Composed Real-time Embedded Systems

  Batista Ribeiro, L. & Baunach, M. C., Nov 2017, 2017 Betriebssysteme und Echtzeit. Springer Verlag, p. 11-20 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Schedulability Analysis 100%
  • Aerospace 100%
• 2016

  14. Workshop Automotive Software Engineering

  Baunach, M. C. & Batista Ribeiro, L., 27 Sept 2016, Lecture Notes in Informatics (LNI): INFORMATIK 2016. Mayr, H. & Pinzger, M. (eds.). Gesellschaft für Informatik , Vol. P-259.

  Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution › peer-review

• Compositional Embedded Systems Designfor Multi-Tasking and Multi-Core Environments

  Baunach, M. C., 26 Feb 2016.

  Research output: Contribution to conference › (Old data) Lecture or Presentation

• Dependability for the Internet of Things: From dependable networking in harsh environments to a holistic view on dependability

  Boano, C. A., Römer, K. U., Bloem, R., Witrisal, K., Baunach, M. C. & Horn, M., 11 Nov 2016, In: Elektrotechnik und Informationstechnik. 133, 7, p. 304–309

  Research output: Contribution to journal › Article

  • Harsh Environment 100%
  • Smart Grid 33%
  • Internet of Things Device 33%
  • Computing Device 33%
  • Resource Constraint 33%

• Einsatz von dynamisch rekonfigurierbaren FPGAs in Fahrzeugen

  Baunach, M. C. & Brungs, P., 27 Sept 2016, Lecture Notes in Informatics (LNI): INFORMATIK 2016. Mayr, H. & Pinzger, M. (eds.). Gesellschaft für Informatik , Vol. P-259.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Operating Systems and Processor Architectures for a Dependable Internet of Things

  Baunach, M. C., 22 Sept 2016.

  Research output: Contribution to conference › (Old data) Lecture or Presentation

• Real-Time and Security Requirements for the Internet of Things Operating Systems

  Baunach, M. C. & Malenko, M., 17 Nov 2016, ECHTZEIT 2016. Gesellschaft für Informatik

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
• 2015

  Collaborative Resource Management for Multi-Core AUTOSAR OS

  Baunach, M. C., Martins Gomes, R. & Mauroner, F., 2015, Betriebssysteme und Echtzeit. Springer, p. 1-10 (Informatik aktuell).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Hardware assisted Real-Time Resource Management for Multi-Core MCU Architectures

  Mauroner, F. & Baunach, M. C., 5 Mar 2015.

  Research output: Contribution to conference › (Old data) Lecture or Presentation
• 2014

  Advanced Timestamping for pairwise Clock Drift Detection in Wireless Sensor/Actuator Networks

  Baunach, M. C., 2014, 13. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze". ., p. 1-4

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review