Dr. rer. nat.

Weiß, Gereon

Filters

2
Reset filters

Settings
Now showing 1 - 2 of 2
  • Publication
    Towards runtime adaptation in AUTOSAR
    ( 2013)
    Zeller, Marc
    ;
    Prehofer, Christian
    ;
    Krefft, Daniel
    ;
    Weiß, Gereon
    In many industrial application domains networked embedded systems realize safety-critical applications. In such systems, adapting the software distribution at runtime can be used to optimize system configurations, to add new features or to handle failure cases. The main objective of this paper is to devise a flexible and efficient solution for runtime adaptation in AUTOSAR, which requires minimal changes to the current architecture. We elaborate the main challenges for extending AUTOSAR and argue that small changes in the architecture and design process are feasible and effective for this purpose. Our work is validated by a proof of concept implementation.
  • Publication
    Modellbasierte Erkennung von Fehlverhalten
    ( 2012)
    Paulic, Annette
    ;
    Pramsohler, Thomas
    ;
    Kaule, Dirk
    ;
    Zeller, Marc
    ;
    Weiß, Gereon
    Die vorgestellten Konzepte zur modellbasierten Verifikation von Infotainment-Funktionen im Automobil zeigen, wie modellbasierte Verfahren bei der Fehlersuche unterstützen können. Mithilfe der von der Fraunhofer ESK in Zusammenarbeit mit der BMW Forschung und Technik GmbH erforschten Methodik zur modellbasierten Verifikation ist es möglich, implementierte Infotainment-Funktionen mit ihrer Spezifikation zu vergleichen und Abweichungen an der MOST Schnittstelle zuverlässig zu erkennen. Grundlage hierfür bilden der Funktionskatalog und das Zustandsdiagramm des MOST Funktionsblocks. Ein großer Vorteil ist, dass diese Modelle, die bereits jetzt zur Spezifikation eingesetzt werden, auch zur Absicherung verwendet werden können. Die Transformation der Modelle erfolgt dabei automatisiert.