Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation

Abstract

kiltera is a language for modelling, analysis and simulation of time-sensitive, event-driven systems with support for (channel) mobility, introduced in [Posse2007]. 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 non-trivial application to modelling load-balancing in server farms.