en English is Íslenska

Thesis Reykjavík University > Tölvunarfræðideild > MSc verkefni >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1946/9246

Title: 
  • Timed Rebeca: Refinement and Simulation
  • Title is in Icelandic Timed Rebeca: Nákvæmni og Hermun
Submitted: 
  • June 2011
Abstract: 
  • 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.

  • Abstract is in Icelandic

    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.

Description: 
  • Description is in Icelandic Hugbúnaðarverkfræði.
Accepted: 
  • Jun 16, 2011
URI: 
  • http://hdl.handle.net/1946/9246


Files in This Item:
Filename Size VisibilityDescriptionFormat 
arnihermann-thesis-online.pdf409.32 kBOpenMeginmálPDFView/Open