Antoine Aiello

Modelling and simulation of ecological propagation processes: application to fire spread

An important class of ecological problems concerns propagation processes. In ecological modelling, these phenomena generally occur on large scales and are generally difficult to simulate efficiently because of the number of entities. Studies of this kind of phenomena lack genericity and reusability because they are often presented from the point of view of a single domain expert. Simulations made by domain experts seem to lack genericity for computer science specialists and simulations developed by computer science specialists seem not to grasp the terminology and problems of the domain experts. We propose here a general object-oriented framework for modelling and simulation of propagation processes. Object-oriented techniques help in developing generic and reusable models. From modelling to simulation, the Unified Modelling Language (UML) provides a common means of communication between computer science specialists and domain experts. The Model Driven Architecture (MDA) is used to improve object-oriented methodology. Simulation optimisations are defined for discrete time models of propagation. The approach is applied to the modelling and simulation of fire spread. Starting from wasteland fire problems, specification levels are used to gradually specify a fire spread simulator. Each level of the study is specified in UML and thus can be reused in another wasteland fire problem.

Specification of Discrete Event Models for Fire Spreading

The fire-spreading phenomenon is highly complex, and existing mathematical models of fire are so complex themselves that any possibility of analytical solution is precluded. Instead, there has been some success when studying fire spread by means of simulation. However, precise and reliable mathematical models are still under development. They require extensive computing resources, being adequate to run in batch mode but making it difficult to meet real-time deadlines. As fire scientists need to learn about the problem domain through experimentation, simulation software needs to be easily modified. The authors used different discrete event modeling techniques to deal with these problems. They have qualitatively compared the Discrete Event System Specification (DEVS) and Cell-DEVS simulation results against controlled laboratory experiments, which allowed them to validate both simulation models of fire spread. They were able to show how these techniques can improve the definition of fire models.

Cell-DEVS quantization techniques in a fire spreading application

We present the use of the CD++ tool to model and simulate forest fire-spread. A semi-physical fire spread model is implemented using the Cell-DEVS formalism. The use of Cell-DEVS enables proving the correctness of the simulation engines and permits to model the problem even by a non-computer science specialist. The high level language of CD++ reduces the algorithmic complexity for the modeler while allowing complex cellular timing behaviors. Different Cell-DEVS quantization techniques are used and developed to decrease execution time. The study is realized regarding time improvement and trades-off between model evolution, simulation time and incurred error. Finally, based on experimentations, interesting perspectives are defined to develop new quantization techniques.

DYNAMIC STRUCTURE CELLULAR AUTOMATA IN A FIRE SPREADING APPLICATION

Studying complex propagation phenomena is usually performed through cellular simulation models. Usually cellular models are specific cellular automata developed by non-computer specialists. We attempt to present here a mathematical specification of a new kind of CA. The latter allows to soundly specify cellular models using a discrete time base, avoiding basic CA limitations (infinite lattice, neighborhood and rules uniformity of the cells, closure of the system to external events, static structure, etc.). Object-oriented techniques and discrete event simulation are used to achieve this goal. The approach is validated through a fire spreading application.

Discrete event simulation of large-scale spatial continuous systems

Complex spatially-extended systems consist of numerous sub-systems leading to large simulation execution times. One approach to reducing these execution times is designing a simulation engine to allocate its attention to subsystems in proportion to their activity levels. In this paper, we consider a large scale simulation of a physics-based fire spread model. This model is discretized using a recently developed numerical method called quantization and implemented using discrete event simulation. In this paper, we provide comparisons between the quantization method and usual Euler discrete-time methods. The aim is to demonstrate the ability of quantization and discrete event simulation to focus on active sub-systems, thus significantly reducing execution time for large heterogeneous systems.

Methods for special applications: Cell-DEVS quantization techniques in a fire spreading application

We present the use of the CD++ tool to model and simulate forest fire-spread. A semi-physical fire spread model is implemented using the Cell-DEVS formalism. The use of Cell-DEVS enables proving the correctness of the simulation engines and permits to model the problem even by a non-computer science specialist. The high level language of CD++ reduces the algorithmic complexity for the modeler while allowing complex cellular timing behaviors. Different Cell-DEVS quantization techniques are used and developed to decrease execution time. The study is realized regarding time improvement and trades-off between model evolution, simulation time and incurred error. Finally, based on experimentations, interesting perspectives are defined to develop new quantization techniques.

Active-DEVS: a computational model for the simulation of forest fire propagation

This paper deals with the design of an efficient object model for propagation phenomena. It is applied to the phenomenological model developed at the University of Corsica, within the context of simulation of vegetation fires. The objective is to simulate large-scale fire propagation, and on the longer term to develop a decision aid tool to guide forest firemen and managers. Based on both cellular automata and discrete event specification (DEVS) formalisms, a new kind of model, called active-DEVS, is specified. Modeling methods based on enhanced cellular automata facilitate both spatial dynamic expression of propagation phenomena, and parallel architectures exploitation. However, such environments usually lack the ability to integrate easy component modifications. The DEVS formalism makes it possible to exploit the cellular models efficiently whatever their dimensions, and to reduce simulation times considerably. A simulation framework is developed to implement and compare active-DEVS model and classical discrete time system specification (DTSS) models. This framework relies on designs patterns, and thus keeps a modular, elegant and adaptable design.

Discrete-event modelling of fire spreading

We deal here with the application of discrete-event System Specification (DEVS) formalism to implement a semi-physical fire spread model. Currently, models from physics finely representing forest fires are not efficient and still under development. If current softwares are devoted to the simulation of simple models of fire spread, nowadays there is no environment allowing us to model and simulate complex physical models of fire spread. Simulation models of such a type of models require being easily designed, modified and efficient in terms of execution time. DEVS formalism can be used to deal with these problems. This formalism enables the association of object-oriented hierarchical modelling with discrete-event techniques. Object-oriented hierarchical programming facilitates construction, maintenance and reusability of the simulation model. Discrete-events reduce the calculation domain to the active cells of the propagation domain (the heated ones).

Hierarchical Multi-Views Modeling Concepts for Discrete Event Systems Simulation

In this article, we describe a Hierarchical Multi-Views Modeling Concepts for Discrete Event Systems Simulation. We give the basic concepts needed for the definition of the formal model allowing discrete events simulation of complex systems [1].

Localization method according to collect data from an acoustic wireless sensor network: Example of Homarus Gammarus in natural area

The platform STELLA MARE (Sustainable TEchnologies for LittoraL Aquaculture and MArine REsearch) has for objective to bring responses in the management of the sea in relation with the professional fishing. In this paper, we introduce an experiment on the monitoring of Homarus Gammarus. Using a passive tracking methodology using an acoustic wireless sensor network (AWSN), we try to follow some individuals, to define movement. The main objective is to build a lobster path according to the collected signal according a classical localization method to test our tracking method. Using a smoothing method and some resolution algorithms we are able to deduct a behaviour of tagged lobsters in an experimental area. This paper describes our methodology to estimate lobsters position according to data collected by an AWSN. This work represent a first step before the building a lobster model to simulate its behaviour in Corsican Mediterranean conditions.