direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

[1]

News

Übersicht Veranstaltungen im Sommersemester 2022 jetzt online

Ab sofort finden Sie hier [2]eine Übersicht über unsere Veranstaltungen im kommenden Sommersemester.

Forschungsschwerpunkte

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

Aktuelle Veröffentlichungen

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 [3] Download Bibtex Eintrag [4]

Prof. Dr. Sabine Glesner

Sekretariat

Johanna Bohlen
Raum TEL 1006
Tel.: +49 30 314-78865
Fax: +49 30 314-78866
E-Mail-Anfrage [6]
Ö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
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008