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

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.

Sujets

• Informatik

Informations

• Publié par: technische_universitat_munchen
• Publié le: 01 janvier 2006
• Nombre de lectures: 17
• Langue: English
• Poids de l'ouvrage: 1 Mo

Extrait