CompEAS-BSW1 - Kompositorische eingebettete Fahrzeugsysteme - Basissoftware

Projekt: Forschungsprojekt

Projektdetails

Beschreibung

Ziel dieses Projekts ist es, Zuverlässigkeitsaspekte und die dynamische Komposition von Software und Hardware komplexer Computerplattformen bzw. Embedded Automotive Systems (EAS) über den gesamten Systemstack zu untersuchen.
StatusLaufend
Tatsächlicher Beginn/ -es Ende1/11/20 → 31/03/25

Fingerprint

Erkunden Sie die Forschungsthemen, die von diesem Projekt angesprochen werden. Diese Bezeichnungen werden den ihnen zugrunde liegenden Bewilligungen/Fördermitteln entsprechend generiert. Zusammen bilden sie einen einzigartigen Fingerprint.
Vollständigen Fingerprint anzeigen
  • 5 Beitrag in einem Konferenzband
  • 1 Sonstiger Beitrag in Buch/Bericht/Konferenzband
  • 1 Abstract

  • 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. (Hrsg.). Cham: Springer, S. 26-46 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13991 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

    Open Access

  • Budget-Based Explainable Schedulability Analysis for Automotive Applications

    Ali Ahmad, M. T., Pestana, J., Batista Ribeiro, L. & Baunach, M. C., Dez. 2023, IEEE Real-Time Systems Symposium: 2nd International Workshop on Explainability of Real-Time Systems and their Analysis.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

    Open Access

  • Eingangsstatement von Marcel Baunach (Transkript)

    Baunach, M. C., 2022, Die ethischen Herausforderungen des automatisierten Fahrens: Dokumentation einer Diskursveranstaltung. Getzinger, G., Lex, C. & Pilinger, A. (Hrsg.). Graz: Verlag der Technischen Universität Graz, S. 47-51 (Science, Technology and Society (STS)).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Sonstiger Beitrag in Buch/Bericht/Konferenzband

Alle 7 Veröffentlichungen anzeigen
  • 2 Mitgliedschaft in Programmkomitee
  • 2 Mitgliedschaft in Forschungsnetzwerk oder Expertengruppe
  • 1 Vortrag bei Konferenz oder Fachtagung
Alle 5 aktivitäten anzeigen