User: Guest  Login
Original title:
Synthesis of distributed systems from synchronous dataflow programs 
Translated title:
Synthese verteilter Systeme aus synchronen Datenflussprogrammen 
Year:
2006 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Broy, Manfred (Prof. Dr. Dr.h.c) 
Referee:
Broy, Manfred (Prof. Dr. Dr. h.c.); Müller-Glaser, Klaus D. (Prof. Dr.) 
Format:
Text 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
synchronous dataflow languages; embedded systems; code synthesis; distributed systems 
Translated keywords:
Synchrone Datenflusssprachen; Eingebettete Systeme; Codesynthese; Verteilte Systeme 
Controlled terms:
Verteiltes System; Eingebettetes System; Datenfluss; Verteilte Programmierung 
TUM classification:
DAT 250d; DAT 260d 
Abstract:
Synchronous dataflow languages are a popular tool for systems specification in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time semantics and deterministic concurrency reduce the state-space of parallel designs, and the engineer's intuition of uniformly progressing physical time is clearly reflected. However, for deriving implementations, use of synchronous programs is currently limited to hardware synthesis, generation of non-distributed...    »
 
Translated abstract:
Synchrone Datenflusssprachen sind ein etabliertes Mittel der Systembeschreibung in Anwendungsdomänen wie Regelungs- und Steuerungssystemen oder Hardwareentwurf. Diese Klasse von Sprachen bietet einige bekannte Vorteile, wie zum Beispiel einen gegenüber anderen Ansätzen reduzierten Zustandsraum bei der Beschreibung paralleler Systeme. Für die Synthese von Implementierungen ist die Verwendung von synchronen Datenflusssprachen momentan vor allem auf den nichtverteilten Fall oder auf Implementierung...    »
 
Publication :
Universitätsbibliothek der Technischen Universität München 
Oral examination:
06.07.2006 
File size:
1267018 bytes 
Pages:
194 
Last change:
10.07.2007