Title :
Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation
Author :
Posse, Ernesto ; Dingel, Juergen
Author_Institution :
Appl. Formal Methods Group, Queen´´s Univ., Kingston, ON, Canada
Abstract :
Kiltera is a language for modelling, analysis and simulation of time-sensitive, event-driven systems with support for (channel) mobility, introduced in. In this paper we present an updated version of the language to support distributed computation. We present the language from an informal perspective and discuss its implementation based on event-scheduling and time-warp for distributed simulation. We also present a nontrivial application to modelling load-balancing in server farms.
Keywords :
discrete event simulation; resource allocation; scheduling; distributed computation; distributed simulation; event scheduling; event-driven simulation; kiltera; load-balancing modelling; mobile simulation; server farm; timed simulation; Analytical models; Computational modeling; Load modeling; Real time systems; Semantics; Servers; Syntactics; Modelling language; distributed discrete-event simulation; simulation language;
Conference_Titel :
Distributed Simulation and Real Time Applications (DS-RT), 2010 IEEE/ACM 14th International Symposium on
Conference_Location :
Fairfax, VA
Print_ISBN :
978-1-4244-8651-9
DOI :
10.1109/DS-RT.2010.19
