Romain Franceschini

A survey of modelling and simulation software frameworks using Discrete Event System Specification

Discrete Event System Specification is an extension of the Moore machine formalism which is used for modelling and analyzing general systems. This hierarchical and modular formalism is time event based and is able to represent any continuous, discrete or combined discrete and continuous systems. Since its introduction by B.P. Zeigler at the beginning of the eighties, most general modelling formalisms able to represent dynamic systems have been subsumed by DEVS. Meanwhile, the modelling and simulation (M&S) community has introduced various software frameworks supporting DEVS-based simulation analysis capability. DEVS has been used in many application domains and this paper will present a technical survey of the major DEVS implementations and software frameworks. We introduce a set of criteria in order to highlight the main features of each software tool, then we propose a table and discussion enabling a fast comparison of the presented frameworks. 1998 ACM Subject Classification I.6 Simulation and modeling

Discrete event formalism to calculate acceptable safety distance

The aim of this paper is to present a dimensioning tool for fuelbreaks. It focuses on the overall approach and specifically mapping a physical model to a DEVS model, mapping a DEVS model to a DEVS service, and the client that communicates with the server. In order to assist the firefighters, we focus on a Web Service based on different software tools that can be used by firefighters to forecast fuelbreak safety zone sizes. This Web Service uses a simulation framework based on DEVS formalism, a theoretical fire spreading model developed at the University of Corsica and to display the results on a Google Map SDK. The SDK is embedded in a mobile application for touchscreen tablet. The application sends a request to our DEVS Web Service, with its geolocation, and in response receives data sets that allow to draw the safety distance.

Decentralized Approach for Efficient Simulation of Devs Models

This paper proposes to improve simulation efficiency of DEVS mod- els based on the classical Discrete Event system Specification (DEVS) formalism by reducing the number of messages exchanged between simulators. We propose three changes: hierarchical modeling tree flattening based on closure under cou- pling, direct coupling and decentralized scheduling. The main idea is to relieve coordinators by giving to simulators more tasks to process.

An Overview of the Quartz Modelling and Simulation Framework.

Quartz is a modelling and simulation framework enabling the development and the execution of models based on the Parallel Discrete Event System Specification (PDEVS) formalism. In this paper we give an overview of the tool by giving details on its design and features. An experimental comparison shows that Quartz yields performances comparable to what is observed with aDEVS, one of the most efficient tool implemented with a compiled language. We present our efforts to provide dedicated expressions and verification facilities to the modeler and give examples of application domains that motivated this software. Namely, agent-based modeling through the Dynamic Parallel Discrete Event Multi-Agent (DPDEMAS) specification and multicomponent modeling with the multiPDEVS formalism.

multiPDEVS: A Parallel Multicomponent System Specification Formalism

Based on multiDEVS formalism, we introduce multiPDEVS, a parallel and nonmodular formalism for discrete event system specification. This formalism provides combined advantages of PDEVS and multiDEVS approaches, such as excellent simulation capabilities for simultaneously scheduled events and components able to influence each other using exclusively their state transitions. We next show the soundness of the formalism by giving a construction showing that any multiPDEVS model is equivalent to a PDEVS atomic model. We then present the simulation procedure associated, usually called abstract simulator. As a well-adapted formalism to express cellular automata, we finally propose to compare an implementation of multiPDEVS formalism with a more classical Cell-DEVS implementation through a fire spread application.