Options
Dr. rer. nat.
Weiß, Gereon
Now showing
1 - 5 of 5
-
PublicationSoftware implementieren und absichern( 2017)Ein plötzliches Verkehrshindernis kann zur Gefahr werden. Vor allem dann, wenn es Autofahrer zu spät wahrnehmen und es nicht schaffen, rechtzeitig darauf zu reagieren. Ein Gefahrenwarner kann dem vorbeugen. Jedoch sind solche fahrzeugübergreifenden Funktionen sehr komplex: Sie erfordern neue Entwicklungsansätze und Entwicklungswerkzeuge. Das heißt vor allem, dass vernetzte Fahrfunktionen schon früh im Entwurf simuliert und getestet werden sollten.
-
PublicationAusfallsichere E/E-Architektur für hochautomatisierte Fahrfunktionen( 2016)Die Hochautomatisierung erfordert neue Ansätze zur Ausfallsicherheit von Fahrzeugbordnetzen: Wird der Fahrer künftig von der Überwachung des Fahrzeugs befreit, müssen die E/E-Architekturen eine höhere Ausfallsicherheit bereitstellen. Im Rahmen des EU Projekts SafeAdapt wird hierzu ein ganzheitlicher Ansatz vorgestellt.
-
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. -
PublicationBessere Softwaremodelle mit einem Richtlinien-Katalog( 2013)Mit dem von Fraunhofer ESK entwickelten Werkzeugprototypen können Entwickler die Einhaltung von Richtlinien bei der Modellierung von Softwaremodellen künftig verlässlicher, umfassender und schneller prüfen. Das Programm umfasst sowohl derzeit gängige Methoden für die Validierung von Softwaremodellen als auch Mechanismen für die Prüfung von Modellierungsrichtlinien: Ein modularer Richtlinienkatalog, Profile mit unterschiedlichen Regelanforderungen und die Konfiguration einzelner Regeln erlauben eine Anpassung an die aktuelle Modellierungsaufgabe. Dazu kommen Möglichkeiten zur Dokumentation und automatisierten Korrektur von gefundenen Problemen.
-
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.