direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Dr.-Ing. Michael Beyer


Static Analysis of Run-time Modes in Synchronous Process Networks
Citation key beyer11psi0
Author Michael Beyer and Sabine Glesner
Title of Book PSI '11: Perspectives of Systems Informatics, 8th International Andrei Ershov Memorial Conference
Pages 55-67
Year 2012
ISBN 978-3-642-29708-3
DOI 10.1007/978-3-642-29709-0_7
Address Novosibirsk, Akademgorodok, Russia
Volume 7162
Editor Edmund M. Clarke and Irina Virbitskaite and Andrei Voronkov
Publisher Springer Verlag / Heidelberg
Series Lecture Notes in Computer Science
Abstract For modeling modern streaming-oriented applications, Process Networks (PNs) are used to describe systems 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 Process Network is statically known. In this paper we present a static analysis for synchronous PNs that extracts di erent run-time modes by using polyhedral abstraction. The result is a Mealy machine whose states describe di erent run-time modes and the edges among them represent transitions. This machine can be used to guide optimizing backend mappings from PNs to concurrent architectures.
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe