Abstract
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 be 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 im prove by several orders of magnitude. The main results of development experiences are pre sented, showing the usefulness of the approach.
Keywords
Get full access to this article
View all access options for this article.
