Conference Paper

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

Appl. Formal Methods Group, Queen's Univ., Kingston, ON, Canada
DOI: 10.1109/DS-RT.2010.19 Conference: Distributed Simulation and Real Time Applications (DS-RT), 2010 IEEE/ACM 14th International Symposium on
Source: IEEE Xplore


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.

Download full-text


Available from: Ernesto Posse, May 19, 2014
  • [Show abstract] [Hide abstract]
    ABSTRACT: This paper describes the implementation of a subsumption architecture by using Model Driven Development in a real-time physical platform. The behaviours are implemented as finite state-machines and are guaranteed to be executed in real-time while avoiding deadlocks. The platform used is compatible with Robot Operating System, which is becoming the de facto standard for robotics applications nowadays. The sensors used for supporting the behaviours implemented are a Light Detection and Ranging and an Inertial Measurement Unit. The main contribution of this paper is in experimentally demonstrating a functional implementation, using Model Driven Development, of a multi-layer subsumption based autonomous robotics control. The paper shows, through experimentation, that the implementation of the architecture is reliable and efficient. With the success of the implementation in one platform, future development of subsumption in multiple platforms may be tried.
    No preview · Conference Paper · Apr 2013
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Event-based communication styles are potential solutions for facilitating high flexibility, scalability, and concurrency of distributed systems due to the intrinsic loose coupling of the participants. However, software developers often find the event-driven communication style unintuitive, especially for large and complex systems with numerous constituting elements, because of its non-deterministic characteristics. In this paper, we propose a novel approach based on DERA---an event actor-based framework---which can be used to describe distributed event-based systems with reduced nondeterminism. DERA's graphical notations support representing a current snapshot of an event-based system closely to the intuitive perception of the developers. We propose a formal specification of the event actors-based constructs and the graphical notations based on Petri nets in order to enable formal analysis of such snapshots. Based on this, an automated translation from event actors-based constructs to Petri nets using template-based model transformation techniques is also developed. The applicability of our approach is shown through an industrial case study in the field of service platform integration.
    Full-text · Conference Paper · Sep 2013
  • [Show abstract] [Hide abstract]
    ABSTRACT: We propose a formal semantics for UML-RT, a UML profile for real-time and embedded systems. The formal semantics is given by mapping UML-RT models into a language called kiltera, a real-time extension of the \(\pi \) -calculus. Previous attempts to formalize the semantics of UML-RT have fallen short by considering only a very small subset of the language and providing fundamentally incomplete semantics based on incorrect assumptions, such as a one-to-one correspondence between “capsules” and threads. Our semantics is novel in several ways: (1) it deals with both state machine diagrams and capsule diagrams; (2) it deals with aspects of UML-RT that have not been formalized before, such as thread allocation, service provision points, and service access points; (3) it supports an action language; and (4) the translation has been implemented in the form of a transformation from UML-RT models created with IBM’s RSA-RTE tool, into kiltera code. To our knowledge, this is the most comprehensive formal semantics for UML-RT to date.
    No preview · Article · Feb 2014 · Software and Systems Modeling