194 Pages
English
Gain access to the library to view online
Learn more

Synthesis of distributed systems from synchronous dataflow programs [Elektronische Ressource] / Jan Romberg

Gain access to the library to view online
Learn more
194 Pages
English

Description

SynthesisofdistributedsystemsfromsynchronousdataflowprogramsJanRombergInstitutfürInformatikderTechnischenUniversitätMünchenSynthesisofdistributedsystemsfromsynchronousdataflowprogramsJanRombergVollständiger Abdruck der von der Fakultät für Informatik der Tech nischen Universität München zur Erlangung des akademischen GradeseinesDoktorsderNaturwissenschaften(Dr.rer.nat.)genehmigtenDissertation.Vorsitzender: Univ. Prof.Dr.AloisKnollPrüferderDissertation:1. Univ. Prof.Dr.Dr.h.c.ManfredBroy2. Univ. Prof.Dr.KlausD.Müller GlaserUniversitätKarlsruhe(TH)DieDissertationwurdeam15.03.2006beiderTechnischenUniversitätMüncheneingereichtunddurchdieFakultätfürInformatikam27.06.2006angenom men.AbstractSynchronousdataflowlanguagesareapopulartoolforsystemsspecifica tion in domains such as real time control and hardware design. The po tential benefits are promising: Discrete time semantics and deterministicconcurrencyreducethestate spaceofparalleldesigns,andtheengineer’sintuitionofuniformlyprogressingphysicaltimeisclearlyreflected. How ever, for deriving implementations, use of synchronous programs is cur-rently limited to hardware synthesis, generation of non distributed soft ware,ordeploymentontime triggeredarchitectures. Fordistributedsoft ware systems based on event triggered bus systems and on line sched ulers, it is still an open problem how conformance with an abstract syn chronousdesignistobedefined.

Subjects

Informations

Published by
Published 01 January 2006
Reads 17
Language English
Document size 1 MB

Exrait