Research output per year
Research output per year
Project Details
Description
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.
| Status | Active |
|---|---|
| Effective start/end date | 1/11/20 → 31/03/25 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
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