Goals

The main goal of this project is the specification of cellular models based on asyncrhonous cell spaces using the DEVS formalism, and the development of simulation environments using this new paradigm. The proposal considers that each cell in the space is an atomic DEVS model, allowing the definition of continuous time cellular models. Each cell can have a precise timing definition using delay functions.

The basic idea is to simulate efficiently discrete events systems that can be described as cell spaces. High performance will be achieved using parallel execution with different synchronization mechanisms.

Layered design of the simulation environment

The idea is to provide a high level specification language for cellular models. In this way, a modeler without experience on DEVS models could be able to develop complex models and simulate them without knowing their internal representation. This technique allow automatic validation of the new models, improving the safety and development costs of the simulations.

Besides the cellular models, different kind of applications can be modeled, from industrial environments up to educational applications.