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
Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad and Marcel Carsten BaunachVerifying Liveness and Real-Time of OS-Based Embedded Software2022 25th Euromicro Conference on Digital System Design (DSD) 679-688Publikation in PURE anzeigen
2022
Vignesh Manjunath, Konrad Diwold and Marcel Carsten BaunachFormal Modeling and Verification of Low-Level OS Code using Abstract InterpretationPublikation in PURE anzeigen
Marcel Carsten BaunachEingangsstatement von Marcel Baunach (Transkript)Die ethischen Herausforderungen des automatisierten Fahrens47-51Publikation in PURE anzeigen
Tobias Peter Scheipel, Leandro Batista Ribeiro, Tim Sagaster and Marcel Carsten BaunachSmartOS: An OS Architecture for Sustainable Embedded Systems2022 - Fruehjahrstreffen FG BSPublikation in PURE anzeigen
Maja Malenko, Leandro Batista Ribeiro and Marcel Carsten BaunachProtection and Relocation Extension for RISC-VSixth Workshop on Computer Architecture Research with RISC-V Publikation in PURE anzeigen
Wir verwenden Cookies, um Ihnen in Zukunft weiterhin das bestmögliche Service zur Verfügung stellen zu können. Nähere Informationen sowie Widerrufsmöglichkeiten finden Sie in der Datenschutzerklärung.