is Íslenska en English

Lokaverkefni (Meistara)

Háskólinn í Reykjavík > Tæknisvið / School of Technology > MSc Tölvunarfræðideild / Department of Computer Science >

Vinsamlegast notið þetta auðkenni þegar þið vitnið til verksins eða tengið í það: http://hdl.handle.net/1946/9246

Titill: 
  • Titill er á ensku Timed Rebeca: Refinement and Simulation
  • Timed Rebeca: Nákvæmni og Hermun
Námsstig: 
  • Meistara
Leiðbeinandi: 
Útdráttur: 
  • Útdráttur er á ensku

    With the the popularity of web services and applications in wireless networks, distributed computing is becoming ubiquitous. The software can be time critical and as such must respond to requests in a timely fashion. Analyzing timing behaviour of distributed and asynchronous systems is a particularly challenging task. We present an extension of the actor-based Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. We provide an automated translation from Timed Rebeca to Erlang. Translation schemes for both refined programs and simulation are included. The translation tool is built upon formal mapping from Timed Rebeca to Erlang and the Structural Operational Semantics of Timed Rebeca. A few examples are studied and experimental results are provided.

  • Vinsældir vefþjónusta og hugbúnaðar sem hefur þráðlaus samskipti gera það að verkum að dreifð tölvukerfi má finna víða. Algengt er að slík kerfi setji skilyrði fyrir svartíma sín á milli og því getur tími getur skipt sköpum. Greining á dreifðum ósamstilltum kerfum gagnvart tíma er einkar áskor\-andi verkefni. Við kynnum viðbót við gerendabundna málið Rebeca til þess að hanna líkön af dreifðum og ósamstilltum kerfum með tíma\-hömlum. Við útbúum sjálfvirka þýðingu frá Timed Rebeca yfir í Erlang. Þýðingar fyrir bæði útfærslu og hermun eru innifaldar. Þýðingartólið er byggt á formlegri skilgreiningu á Timed Rebeca yfir í Erlang og formlegri merkingarfræði (SOS) Timed Rebeca. Nokkur dæmi eru skoðuð og niðurstöður kynntar.

Samþykkt: 
  • 16.6.2011
URI: 
  • http://hdl.handle.net/1946/9246


Skrár
Skráarnafn Stærð AðgangurLýsingSkráartegund 
arnihermann-thesis-online.pdf409.32 kBOpinnHeildartextiPDFSkoða/Opna