Options
Dr. rer. nat.
Weiß, Gereon
Now showing
1 - 4 of 4
-
PublicationPlanetares Zusammenspiel( 2014)
;Zeller, MarcDie zunehmende Anzahl an Funktionen in vernetzten eingebetteten Systemen erhöht auch die Komplexität der Software kontinuierlich. Die Modularisierung der Funktionen in einzelne Softwarekomponenten und standardisierte Softwarearchitekturen sollen dem entgegenwirken. Dabei ist es wichtig, die Softwareschnittstellen frühzeitig im Entwicklungsprozess zu definieren und abzusichern, um die Qualität und Fehlerfreiheit des Systems zu gewährleisten. -
PublicationModellbasierte Absicherung von GENIVI-Schnittstellen( 2013)
;Meyer, DanielZeller, MarcDa in Multi-Vendor-Plattformen wie GENIVI einzelne Komponenten von unterschiedlichen Zulieferern stammen können, müssen die Schnittstellen bereits frühzeitig im Entwurfsprozess definiert und abgesichert werden. Dazu wird ein modellbasierter Ansatz vorgestellt, der eine Modellierung, Simulation und Überprüfung der Komponenten-Schnittstellen ermöglicht. -
PublicationTowards runtime adaptation in AUTOSAR( 2013)
;Zeller, Marc ;Prehofer, Christian ;Krefft, DanielIn 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. -
PublicationModellbasierte Erkennung von Fehlverhalten( 2012)
;Paulic, Annette ;Pramsohler, Thomas ;Kaule, Dirk ;Zeller, MarcDie 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.