Auflistung nach Autor:in "Keul, Steffen"
1 - 4 von 4
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragEntwurfsmuster-Erkennung mit BAUHAUS(Software archeology and the handbook of software architecture, 2008) Wiebe, Eduard; Keul, Steffen; Staiger, Stefan; Vogel, Gunther; Haufler, Andreas; Scherer, WolfgangIn diesem Artikel stellen wir ein interaktives Werkzeug zur Erkennung von Entwurfsmustern in Java-Programmen vor. Unser Werkzeug ermöglicht die Spezifikation von zu suchenden Mustern als UML-Klassendiagramme, sucht nach Instanzen dieser Muster in vorliegendem Bytecode, gewichtet die Vorkommnisse anhand des Übereinstimmungsgrades und ermöglicht eine manuelle Überprüfung anhand des zugrunde liegenden Quelltextes.
- KonferenzbeitragExtraktion von Interthread-Kommunikation in eingebetteten Systemen(Automotive - Safety & Security 2012, 2012) Wittiger, Martin; Keul, SteffenMit der zunehmenden Verbreitung von Multicore-Rechnern werden Multicore-Architekturen auch in eingebetteten Systemen mehr und mehr Einzug halten. Zusätzlich zu den Schwierigkeiten der Softwareentwicklung für Singlecore-Plattformen müssen Software-Ingenieure somit die Herausforderungen bewältigen, bestehende Systeme zuverlässig und fehlerfrei auf Multicores zu portieren und dabei dennoch das Parallelisierungspotential möglichst effektiv zu nutzen. Bislang existiert kaum Werkzeugunterstützung, um diese Portierung in der Praxis durchzuführen. Unsere Ar- beit verfolgt das Ziel, Algorithmen und Werkzeuge zu entwickeln, die existierende Steuersoftware im Automotive-Bereich semi-automatisiert auf Multicore-Plattformen portieren können. In diesem Beitrag wird eine statische Analysetechnik vorgestellt, mit der aus dem Quelltext eines eingebetteten Systems Kommunikationsgraphen extrahiert werden können. Diese können verwendet werden, um Modifikationsbedarf in bestehender Software zu identifizieren, und eignen sich als Grundlage für die spä- tere Partitionierung. Die vorgestellten Algorithmen wurden prototypisch in unserer Programmanalyse-Toolsuite Bauhaus implementiert und ihre prinzipielle Tauglichkeit wurde durch Anwendung auf bestehende industrielle Softwaresysteme bestätigt.
- ZeitschriftenartikelRaceVis: Ein Werkzeug zur Visualisierung von Data Races(Softwaretechnik-Trends Band 30, Heft 2, 2010) Keul, Steffen; Prokharau, Mikhail; Gerlach, Daniel; Jenke, Carola; Raza, AounStatische Programmanalyse zur Erkennung von Data Races ist ein wichtiges Werkzeug zur Sicherstellung der Korrektheit von nebenläufigen Programmen in Entwicklung und Wartung. Der Einsatz statischer Analyse lässt jedoch eine Anzahl an falsch positiven Warnungen erwarten. In diesem Papier wird ein Werkzeug zur manuellen Untersuchung und Bewertung dieser Meldungen vorgestellt.
- ZeitschriftenartikelStatic Analysis of Predicate-based Synchronisation(Softwaretechnik-Trends Band 31, Heft 2, 2011) Prokharau, Mikhail; Gerlach, Daniel; Keul, SteffenWhile many software projects requiring some form of parallelisation resort to standard synchronisation mechanisms offered by a programming language or a standard library of choice, other synchronisation techniques exist. This paper presents predicate-based synchronisation constructs and discusses the possibilities of their detection and static analysis.