Q: What is Discrete Event System?
Lecture 1 : DEVS Overview
A: Yes, DEVSim++ and Visual DEVS Modeler
Since the early 70's, work has been proceeding on a mathematical formalism called DEVS (Discrete Event Systems Specification) formalism for modeling and simulation of discrete event systems. Developed by Zeigler the formalism supports specification of DES (Discrete Event Systems) in a hierarchical, modular manner, making it possible to design new DES simulation languages with better understood and sounder semantics. Our DEVS research within the SMSLab aims at three directions: theory, methodology and application of the formalism. For a testbed for such research, we have developed DEVSim++, a realization of the DEVS formalism and associated hierarchical simulator algorithms in C++. Theoretical direction includes extension of the DEVS formalism, development of new formalism, models transformation and hybrid simulation, parallel simulation, and discrete event control. Methodology direction deals with object-oriented frameworks for modeling/simulation/memory management, a relational algebraic framework for models management, structured modeling methodology, and a unified framework for logical/performance analysis of concurrent systems. Finally, applications direction is focusing on study of concurrent systems at the timed/untimed discrete event systems level with an emphasis on computer/communication systems.