메뉴 건너뛰기

Introduction

Q: What is Discrete Event System?


Lecture 1 : DEVS Overview
Lecture 2 : DEVS Modeling
Lecture 3 : Petri-net Modeling
Lecture 4 : Algebra vs. Calculus. Process Algebra
Lecture 5 : Synchronous/Asynchronous, CCS
Lecture 6 : Verification/Validation, Conformance Test
Lecture 7 : Realtime Simulation



Q: Are there any environments for Objected-Oriented Modeling of DES?


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.