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
Konsortialführer/in bzw. Koordinator/in bei Kooperationen mit externen Organisationen
Konrad Diwold
Dr.rer.nat. BSc MSc
Projektleiter/in an der OE
Marcel Carsten Baunach
Univ.-Prof. Dipl.-Inf. Univ. Dr.rer.nat.
Teilnehmer / Mitarbeiter
Fördergeber
  • Pro2Future GmbH
  • Österreichische Forschungsförderungsgesellschaft mbH (FFG) , FFG
Beginn: 31.10.2020

Publikationen

2022
Vignesh Manjunath, Konrad Diwold and Marcel Carsten Baunach Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation Publikation in PURE anzeigen
Marcel Carsten Baunach Eingangsstatement von Marcel Baunach (Transkript)Die ethischen Herausforderungen des automatisierten Fahrens47-51 Publikation in PURE anzeigen
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
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 25th Euromicro Conference on Digital System Design (DSD) 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