direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Static Analysis of Run-time Modes in Synchronous Process Networks
Zitatschlüssel beyer11psi0
Autor Michael Beyer and Sabine Glesner
Buchtitel PSI '11: Perspectives of Systems Informatics, 8th International Andrei Ershov Memorial Conference
Seiten 55-67
Jahr 2012
ISBN 978-3-642-29708-3
DOI 10.1007/978-3-642-29709-0_7
Adresse Novosibirsk, Akademgorodok, Russia
Jahrgang 7162
Herausgeber Edmund M. Clarke and Irina Virbitskaite and Andrei Voronkov
Verlag Springer Verlag / Heidelberg
Serie Lecture Notes in Computer Science
Zusammenfassung 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 zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe