Definition in NSA-DEVS
- NSA-DEVS:
- system formalism to precisely specify the behaviour
of components and complete models
- based on widely used DEVS formalism
- optimised for the definition of generic block
libraries
- defines a basic component (atomic) using three sets,
a number and three functions
- graphical notation available
- Matlab-based implementation freely available on
GitHub
- Definition of release queue:
- basic graphical description shows phases and
transitions
- similar to statechart (Harel)
- expanded graph or manual NSA-DEVS description for
special cases
- simultaneous inputs at rel and (in or bl)
- Releasing empties the queue completely
- additional inputs arrive while in Releasing
