Application of the Cell-DEVS paradigm for cell spaces modelling and simulation

We present the results obtained when using the Cell-DEVS paradigm for cell spaces modelling and simulation. This formalism allows one to model and simulate cell spaces, including delay functions, to specify their timing behavior. Cell spaces can de defined in an automated fashion, simplifying the construction of new models, and easing the verification of the structural models. The approach was implemented in a development tool, showing that development times can improve by several orders of magnitude. The main results of development experiences are presented, showing the usefulness of the approach.