Modeling and Simulation of Combined Discrete Event-Continuous Systems Using devs Formalism and Object-Oriented Paradigm

Discrete Event Systems Specification (DEVS) formalism supports the specification of discrete event models in a hierarchical and modular manner. Efforts have been made to develop the simulation environments for the modeling and simulation (M&S) of systems using DEVS formalism, particularly in defense M&S domains. This paper introduces the DEVSim++ toolset and its applications. The Object-Analysis Index (OAI) matrix is a tabular form of objects and analysis indices for requirements analysis. DEVSim++ is a realization of DEVS formalism in C++ for M&S. VeriTool is a DEVS model verification tool. DEVSimHLA is a library to support High-level Architecture (HLA) in DEVSim++. Other tools, including KComLib, FOM2CPPClass, and KHLAAdaptor, are used to develop a smart adaptor that allows for the interoperation of simulators of any kind. PlugSim is a distributed simulation framework using plug-in methods. These tools are utilized in every stage of the M&S development process, as well as in every application of the M&S missions to the military domain. Accordingly, the applications implemented by the toolset are used in the training, analytic, and acquisition missions of the Republic of Korea military branches. We expect the DEVS applications to become more prolific as M&S demands grow, and our toolset is already proven as complete and efficient in the domain of defense M&S.

Download Full-text

Towards an automatic model transformation mechanism from UML state machines to DEVS models

CLEI electronic journal ◽

10.19153/cleiej.18.2.3 ◽

2015 ◽

Cited By ~ 1

Author(s):

Ariel González ◽

Carlos Luna ◽

Roque Cuello ◽

Marcela Pérez ◽

Marcela Daniele

Keyword(s):

Modeling And Simulation ◽

Model Transformation ◽

Discrete Event ◽

State Machines ◽

System Specification ◽

Transformation Mechanism ◽

Simulation Tools ◽

Model Driven ◽

Uml State Machines ◽

Devs Formalism

The development of complex event-driven systems requires studies and analysis prior to deployment with the goal of detecting unwanted behavior. UML is a language widely used by the software engineering community for modeling these systems through state machines, among other mechanisms. Currently, these models do not have appropriate execution and simulation tools to analyze the real behavior of systems. Existing tools do not provide appropriate libraries (sampling from a probability distribution, plotting, etc.) both to build and to analyze models. Modeling and simulation for design and prototyping of systems are widely used techniques to predict, investigate and compare the performance of systems. In particular, the Discrete Event System Specification (DEVS) formalism separates the modeling and simulation; there are several tools available on the market that run and collect information from DEVS models. This paper proposes a model transformation mechanism from UML state machines to DEVS models in the Model-Driven Development (MDD) context, through the declarative QVT Relations language, in order to perform simulations using tools, such as PowerDEVS. A mechanism to validate the transformation is proposed. Moreover, examples of application to analyze the behavior of an automatic banking machine and a control system of an elevator are presented.

Download Full-text

Hierarchical, modular discrete-event modelling in an object-oriented environment

SIMULATION ◽

10.1177/003754978704900506 ◽

1987 ◽

Vol 49 (5) ◽

pp. 219-230 ◽

Cited By ~ 160

Author(s):

Bernard P. Zeigler

Keyword(s):

Distributed Simulation ◽

Discrete Event ◽

Object Oriented ◽

Simulation Models ◽

Object Oriented Programming ◽

Model Base ◽

Knowl Edge ◽

Design Alternatives ◽

Event Models ◽

Devs Formalism

Hierarchical, modular specification of discrete-event models of fers a basis for reusable model bases and hence for enhanced simulation of truly varied design alternatives. We describe an envi ronment which realizes the DEVS formalism developed in Zeigler (1984) for hierarchical, modular models. It is implemented in PC-Scheme, a powerful Lisp dialect for microcomputers contain ing an object-oriented programming subsystem. Since both the implementation and the underlying language are accessible to the user, the result is a capable medium for combining simula tion modelling and artificial intelligence techniques. The envi ronment is developed in an object-oriented manner which lends itself to model base organization using the entity structure knowl edge representation. It also serves as a medium for developing hierarchical distributed simulation models and architectures.

Download Full-text

COMBINING MODELICA MODELS WITH DISCRETE EVENT FORMALISMS FOR SIMULATION USING THE DES/M ENVIRONMENT

International Journal of Software Engineering and Knowledge Engineering ◽

10.1142/s0218194005001999 ◽

2005 ◽

Vol 15 (02) ◽

pp. 349-355 ◽

Cited By ~ 1

Author(s):

MANUEL A. PEREIRA REMELHE ◽

SEBASTIAN ENGELL

Keyword(s):

Modeling And Simulation ◽

Discrete Event ◽

Object Oriented ◽

Software Tools ◽

Modeling Languages ◽

Physical Systems ◽

Simulation Techniques ◽

Discrete Event Control ◽

Event Models ◽

Technical Systems

Technical systems that include complex physical dynamics as well as extensive discrete event control, require powerful modeling and simulation techniques. As the most adequate means for modeling hybrid physical systems, we advocate the use of object-oriented modeling languages such as Modelica. However, the discrete event models often require the use of dedicated graphical editors that cannot be defined appropriately using Modelica. The purpose of the DES/M modeling environment [10] is to provide such editors for different discrete event formalisms and to translate discrete event models automatically into Modelica components such that a discrete event controller can be integrated easily into Modelica models and simulated using standard Modelica software tools. This contribution presents the main concepts used for the representation of several discrete event formalisms in the Modelica language and discusses the class of discrete event formalisms that can be supported by the DES/M environment.

Download Full-text