Dr. rer. nat.

Weiß, Gereon

Filters

3 2
Reset filters

Settings
Now showing 1 - 5 of 5
No Thumbnail Available
Publication

Resumption of runtime verification monitors: Method, approach and application

2018 , Drabek, Christian , Weiß, Gereon , Bauer, Bernhard

Runtime verification checks if the behavior of a system under observation in a certain run satisfies a given correctness property. While a positive description of the system's behavior is often available from specification, it contains no information for the monitor how it should continue in case the system deviates from this behavior. If the monitor does not resume its operation in the right way, test coverage will be unnecessarily low or further observations are misclassified. To close this gap, we present a new method for extending state-based runtime monitors in an automated way, called resumption. Therefore, this paper examines how runtime verification monitors based on a positive behavior description can be resumed to find all detectable deviations instead of reporting only invalid traces. Moreover, we examine when resumption can be applied successfully and we present alternative resumption algorithms. Using an evaluation framework, their precision and recall for detecting different kinds of deviations are compared. While the algorithm seeking expected behavior for resumption works very well in all evaluated cases, the framework can also be used to find the best suited resumption extension for a specific application scenario. Further, two real world application scenarios are introduced where resumption has been successfully applied.

View
No Thumbnail Available
Publication

Modellbasierte Absicherung von GENIVI-Schnittstellen

2013 , Meyer, Daniel , Drabek, Christian , Weiß, Gereon , Zeller, Marc

Da 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.

View
No Thumbnail Available
Publication

Ausfallsicherheit mit AUTOSAR: Ressourcen neu verteilen

2016 , Schleiß, Philipp , Drabek, Christian , Weiß, Gereon

Zukünftiges hochautomatisiertes Fahren stellt völlig neue Anforderungen an die Verfügbarkeit der Software-Architektur im Fahrzeug. Mit derzeitigen Entwicklungsmethoden sind diese Ansprüche nicht zu erfüllen. Die Lösung: eine neue Form des Redundanzmanagements verbunden mit einem automatisierten Entwicklungsprozess.

View
No Thumbnail Available
Publication

Bessere Softwaremodelle mit einem Richtlinien-Katalog

2013 , Drabek, Christian , Weiß, Gereon

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.

View
No Thumbnail Available
Publication

Ausfallsichere E/E-Architektur für hochautomatisierte Fahrfunktionen

2016 , Weiß, Gereon , Schleiß, Philipp , Drabek, Christian

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.

View