Logo des Repositoriums

Auflistung nach Autor:in "Marmsoler, Diego"

1 - 2 von 2
  • Textdokument
    Research Challenges for a Future-Proof E/E Architecture - A Project Statement
    (INFORMATIK 2017, 2017) Kugele, Stefan; Cebotari, Vadim; Gleirscher, Mario; Hashemi, Morteza; Segler, Christoph; Shafaei, Sina; Vögel, Hans-Jörg; Bauer, Fridolin; Knoll, Alois; Marmsoler, Diego; Michel, Hans-Ulrich
    During the last decades, the functional power and complexity of automotive E/E architectures grew radically and is going to grow further. We identified two key factors namely autonomy and intelligence. Both pose research challenges for the next generation E/E architecture. We aim to tackle the design challenges with methods and technologies. We propose in this project statement to use a service-oriented architecture on top of an in-vehicle communication network based on time-sensitive networking. Moreover, a rigor risk analysis and mitigation approach enables synthesis of a safety controller. A learning architecture facilitates a shift towards user centralization by proactively adapting functions according to user profiles. In addition, further functions might need to be learned at run-time.
  • Workshopbeitrag
    Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving
    (Software Engineering and Software Management 2019, 2019) Marmsoler, Diego