Research output per year
Research output per year
Project Details
Description
Vehicular networks that wirelessly connect vehicles, infrastructure, and pedestrians will be the communication backbone for future transportation.
Networked smart, semi-automatic and fully autonomous vehicles will rely on shared information, distributed intelligence, and joint actions to optimize traffic/logistics, reduce pollution, and increase road safety. However, great dynamics, continuously changing network topolgies, and heterogeneous devices make dependable communication hard and demand for self-organizing radio protocols at all layers of the communication stack.
This project aims on researching the foundations and practical application of self-organizing radio protocols for massively dynamic networks of mobile devices. Thus, nature-inspired techniques for medium acces control are equally important as managing multi-hop communication.
| Status | Finished |
|---|---|
| Effective start/end date | 1/09/15 → 31/12/23 |
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 framework for embedded software portability and verification: From formal models to low-level code
Martins Gomes, R., Aichernig, B. & Baunach, M. C., 1 Feb 2024, (E-pub ahead of print) In: Software and Systems Modeling. 2024Research output: Contribution to journal › Article › peer-review
Open Access -
A Modeling Concept for Formal Verification of OS-Based Compositional Software
Batista Ribeiro, L., Lorber, F., Nyman, U., Guldstrand Larsen, K. & Baunach, M. C., Apr 2023, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings: International Conference on Fundamental Approaches to Software Engineering. Lambers, L., Uchitel, S. & Uchitel, S. (eds.). Cham: Springer, p. 26-46 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13991 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
Budget-Based Explainable Schedulability Analysis for Automotive Applications
Ali Ahmad, M. T., Pestana, J., Batista Ribeiro, L. & Baunach, M. C., Dec 2023, IEEE Real-Time Systems Symposium: 2nd International Workshop on Explainability of Real-Time Systems and their Analysis.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access
Prizes
-
Ehrung als Erfinder der TU Graz
Baunach, Marcel Carsten (Recipient), 14 Nov 2017
Prize: Prizes / Medals / Awards
-
Gewinner des Graduiertenwettbewerbs der GI Fachgruppe Echtzeitsysteme
Scheipel, Tobias Peter (Recipient), 16 Nov 2017
Prize: Prizes / Medals / Awards
Activities
-
Gesellschaft für Informatik, Fachgruppe Automotive Software Engineering (External organisation)
Marcel Carsten Baunach (Member)
2024Activity: Membership › Membership of research network or expert group
-
Leitungsgremium der Fachgruppe "Echtzeitsysteme" der GI e.V., Gesellschaft für Informatik e.V. (Deutschland) (External organisation)
Marcel Carsten Baunach (Chair)
2024Activity: Membership › Membership of research network or expert group
-
Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems
Drona Nagarajan (Speaker), Tobias Peter Scheipel (Contributor) & Marcel Carsten Baunach (Contributor)
8 Apr 2024 → 12 Apr 2024Activity: Talk or presentation › Talk at conference or symposium › Science to science