direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Static Run-time Mode Extraction by State Partitioning in Synchronous Process Networks
Zitatschlüssel beyer11scopes0
Autor Michael Beyer and Sabine Glesner
Buchtitel SCOPES '11: Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems
Seiten 28–37
Jahr 2011
ISBN 978-1-4503-0763-5
DOI 10.1145/1988932.1988938
Adresse St. Goar, Germany
Herausgeber Henk Corporaal and Sander Stuijk
Verlag ACM
Serie SCOPES '11
Zusammenfassung 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 zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe