direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

News

  • Lehrveranstaltungen im Wintersemester 2021/22
    Bitte beachten Sie, dass aufgrund des IT-Angriffs auf die TU Berlin zur Zeit kein Zugriff auf IT-Systeme möglich ist, die für die Pflege dieser Webseite notwendig sind, daher sind leider nicht alle Angaben aktuell gehalten.
    Unser Lehrangebot im Wintersemester 2021/22 finden Sie daher gesammelt unter diesem Link.

Forschungsschwerpunkte

  • Qualitätssicherung für eingebettete Systeme
  • Software-Engineering für eingebettete Systeme
  • Entwurf und Synthese eingebetteter Systeme

SESE-Newsletter

Wer Interesse an unserem Kolloquium und anderen Vorträgen hat, kann sich für den SESE-Newsletter .

Aktuelle Veröffentlichungen

Static Analysis of Run-time Modes in Kahn Process Networks
Zitatschlüssel Beyer12
Autor Michael Beyer
Jahr 2012
ISBN 978-3-8440-1252-1
ISSN 1433-9986
DOI 10.2370/9783844012521
Ort Aachen
Monat September
Verlag Shaker
Serie Berichte aus der Softwaretechnik
Schule Berlin Institute of Technology (TU-Berlin)
Institution Chair Software Engineering for Embedded Systems Group
Zusammenfassung Kahn Process Networks (KPNs) are used for modeling streaming-oriented applications with changing behavior. To meet the performance and energy constraints of embedded devices, such applications must be mapped to parallel architectures in an optimal way. Finding an optimal mapping to the constrained architecture presumes that the behavior of the KPN is statically known. Considering the run-time behavior of streaming-oriented applications, we can identify run-time modes in which the system offers a certain behavior. In this book, we present a static analysis that identifies such run-time modes at compile-time. To that end, we use abstract interpretation based on polyhedral abstraction and an automata-based representation of KPNs to consider the expected run-time behavior. We have developed a state partitioning algorithm to separate control-oriented parts from transformative parts. The automata states are partitioned according to the run-time behavior. We identify modes and their hierarchies for individual processes by using our graph reduction algorithm to transform state partitioned automata to mode automata. To obtain the overall network behavior, we have developed a composition algorithm for asynchronously communicating mode automata. We abstract from unnecessary considerations of interleaving states by choosing one representative execution. The result is a mode automaton describing the whole network behavior. To evaluate our method, we have implemented a prototype of our analysis. For an arbitrary KPN, our implementation statically analyzes its run-time modes and their corresponding behaviors. We have evaluated typical case studies, e. g., a reconfigurable Finite Impulse Response filter, which demonstrate the practicability of our approach. Optimizing backends that map KPNs to parallel architectures can be guided by these analysis results.
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Prof. Dr. Sabine Glesner

Sekretariat

Johanna Bohlen
Raum TEL 1006
Tel.: +49 30 314-78865
Fax: +49 30 314-78866

Öffnungszeiten:
Mo, Di, Mi, Do
10:30 - 12:30 Uhr

Postanschrift

Technische Universität Berlin
Fachgebiet Software and
Embedded Systems Engineering
Sekr. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin