modelUsersGuide

Information

Users Guide of the DEVSLib Package

DEVSLib package can be used to develop new models of systems following the Parallel DEVS formalism.

DEVS (Discrete Event System Specification) formalism was firstly introduced by Bernard P. Zeigler. A full description of the formalism can be found in: B.P.Zeigler, H.Praehofer and T.G.Kim. Theory of Modeling and Simulation (2ed). Academic Press, 2000.

In this library the Parallel DEVS formalism has been implemented. This formalism is described in the next section.

Library Structure

The library has been divided in two parts, the user part and the source/developer part.
The user part contains the required models and packages to develop new atomic and coupled DEVS models. It is composed by:

• The atomicDraft package, that represents the basic model and functions to develop new atomic DEVS models. Any user that wants to develop a new atomic model must duplicate this package and edit the atomic model to include the required input and output ports, and adapt the functions to meet his/her necessities. This procedure is detailed in the New Atomic DEVS models section of this UsersGuide.
• The coupledDraft model, consists in the basic structure for a new coupled DEVS model. It can be used to develop new coupled models. The construction of new coupled models will be described in the New Coupled DEVS models section.
• The AuxModels package, contains several auxiliary models that can be useful in combination with the user developed models. It also contains five models, DICO, DiBO, Quantizer, CrossUP, and CrossDOWN that can be used to communicate continuous and discrete models in a hybrid system. These models will be detailed in the Hybrid models development section.
• The Examples package, includes several examples of simple and complex DEVS systems. A description of the modeled system is included in the documentation of each system.

The source/developer part (SRC package) contains the core source packages and models of the library. It includes the interfaces for event communication, functions, data structures, basic DEVS models and components.

Users Guide Structure

This guide is organized in four sections.

The first section, called Parallel DEVS contains a description of the DEVS formalism implemented in the library. The information in this section is basic to understand the behaviour of the library models, specially the atomic models. If the user is not familiar with the formalism, the reading of this section is very encouraged.

The other sections describe the models that compose the library and their use to develop new atomic and coupled DEVS models.
Section New Atomic DEVS models details the procedure to develop new atomic models.
Section New Coupled DEVS models is similar to the previous one but about coupled models.
Last section, Hybrid models development describes the use of DICO and CODI models to communicate continuous and discrete models in a hybrid system.

Contents