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 | Finished |
|---|---|
| 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.
-
A Scalable Approach for Memory Optimization in The AUTOSAR Schedule Table
Ali Ahmad, M. T., Pestana, J., Krisper, M. & Baunach, M. C., 31 Mar 2025.Research output: Contribution to conference › Paper › peer-review
-
Formal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness
Manjunath, V., Scheipel, T. & Baunach, M. C., 31 Mar 2025.Research output: Contribution to conference › Paper › peer-review
Open Access -
Avoiding Empty Instances and Offset Drifts of Basic Sequencer Tasks in Automotive Operating System
Ali Ahmad, M. T., Ribeiro, L. B., Krisper, M. & Baunach, M., 8 Apr 2024, SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. New York, NY: Association of Computing Machinery, p. 400-409 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Activities
-
21st Workshop on Automotive Software Engineering (Event)
Baunach, M. C. (Chair)
26 Feb 2024Activity: Membership › Membership in Programm Committee
-
Gesellschaft für Informatik, Fachgruppe Automotive Software Engineering (External organisation)
Baunach, M. C. (Member)
2024Activity: Membership › Membership of research network or expert group
-
Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems
Nagarajan, D. (Speaker), Scheipel, T. P. (Contributor) & Baunach, M. C. (Contributor)
8 Apr 2024 → 12 Apr 2024Activity: Talk or presentation › Talk at conference or symposium › Science to science