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

fYear

2010

fDate

17-20 Oct. 2010

Firstpage

87

Lastpage

96

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Simulation and Real Time Applications (DS-RT), 2010 IEEE/ACM 14th International Symposium on

Conference_Location

Fairfax, VA

ISSN

1550-6525

Print_ISBN

978-1-4244-8651-9

Type

conf

DOI

10.1109/DS-RT.2010.19

Filename

5636730