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.
Staff member
Konsortialführer/in bzw. Koordinator/in bei Kooperationen mit externen Organisationen
Konrad Diwold
Dr.rer.nat. BSc MSc
Project Manager at the Organizational Unit
Marcel Carsten Baunach
Univ.-Prof. Dipl.-Inf. Univ. Dr.rer.nat.
Participant / Staff Member
Funding sources
  • Pro2Future GmbH
  • Österreichische Forschungsförderungsgesellschaft mbH (FFG) , FFG
Start: 31.10.2020

Publications

2022
Vignesh Manjunath, Konrad Diwold and Marcel Carsten Baunach Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation Show publication in PURE
Marcel Carsten Baunach Eingangsstatement von Marcel Baunach (Transkript)Die ethischen Herausforderungen des automatisierten Fahrens47-51 Show publication in PURE
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