Abstract

NSA-DEVS (Non-Standard Analysis Discrete Event System Specification) is an advancement of the DEVS formalism for modeling and simulating discrete-event and hybrid systems. DEVS supports modular-hierarchical modeling and clearly separates model from simulator. The primary objective of NSA-DEVS is to simplify the modeling of components with Mealy behavior while maintaining a simple simulator structure and the exact set-theoretic definitions of DEVS. With the implementation of a modeling and simulation environment, a comprehensive library of generic components, and real-world applications, the use of NSA-DEVS has been evaluated. However, the implementation of complex applications revealed that set-theoretic modeling should be complemented by visual techniques to facilitate system design and documentation. This paper explores how a visual representation equivalent to NSA-DEVS can be developed based on the known DEVS diagram and Harel’s Statecharts.