direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Welcome at the Chair Software and Embedded Systems Engineering


Course list summer term 2022 available

You can now find an overview of our courses in the coming summer semester here.


Attention: There is no consultation hour with Prof. Glesner on Monday, 27 June 2022!



Major Research Topics

  • Quality Assurance for Embedded Systems
  • Software Engineering for Embedded Systems
  • Conception and Synthesis of Embedded Systems


Static Run-time Mode Extraction by State Partitioning in Synchronous Process Networks
Citation key beyer11scopes0
Author Michael Beyer and Sabine Glesner
Title of Book SCOPES '11: Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems
Pages 28–37
Year 2011
ISBN 978-1-4503-0763-5
DOI 10.1145/1988932.1988938
Address St. Goar, Germany
Editor Henk Corporaal and Sander Stuijk
Publisher ACM
Series SCOPES '11
Abstract Process Networks (PNs) are used for modeling streaming-oriented applications with changing behavior, which must be mapped on a concurrent architecture to meet the performance and energy constraints of embedded devices. Finding an optimal mapping of Process Networks to the constrained architecture presumes that the behavior of the PN is statically known. In this paper we present a static analysis for synchronous PNs that partitions the state space according to extract run-time modes based on a Data Augmented Control Flow Automaton (DACFA). The result is a mode automaton whose nodes describe identi ed program modes and whose edges represent transitions among them. Optimizing backends mapping from PNs to concurrent architectures can be guided by these analysis results.
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Prof. Dr. Sabine Glesner

Postal Address

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