CompEAS-BSW1 - Compositional Embedded Automotive Systems - Basic Software

The goal of this project is to investigate dependability aspects and the dynamic composition of software and hardware of complex computer platforms or embedded automotive systems (EAS) across the entire system stack.
Mitarbeiter*innen
Konsortialführer/in bzw. Koordinator/in bei Kooperationen mit externen Organisationen
Michael Krisper
Dipl.-Ing. Dr.techn. BSc Ing.
Visitenkarte
Projektleiter/in an der OE
Marcel Carsten Baunach
Univ.-Prof. Dipl.-Inf. Univ. Dr.rer.nat.
Visitenkarte
Teilnehmer*innen / Mitarbeiter*innen
Vignesh Manjunath
M.Tech.
Drona Nagarajan
M.
Visitenkarte
Fördergeber*innen
  • Österreichische Forschungsförderungsgesellschaft mbH (FFG) , FFG
  • Pro2Future GmbH
Forschungsgebiete
Beginn: 31.10.2020

Publikationen

2024
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
Vignesh Manjunath, Tobias Scheipel and Marcel Carsten Baunach Formal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness Publikation in PURE anzeigen
Muhammad Tanveer Ali Ahmad, Jesus Pestana, Michael Krisper and Marcel Carsten Baunach A Scalable Approach for Memory Optimization in The AUTOSAR Schedule Table Publikation in PURE anzeigen
2023
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
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
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
Vignesh Manjunath, Konrad Diwold and Marcel Carsten Baunach Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation 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
Marcel Carsten Baunach Eingangsstatement von Marcel Baunach (Transkript)Die ethischen Herausforderungen des automatisierten Fahrens47-51 Publikation in PURE anzeigen
Übersicht
image/svg+xml

FORSCHUNGSBEREICHE
LAUFENDE PROJEKTE
ABGESCHLOSSENE PROJEKTE