Hybrid system modeling using the SIMANLib and ARENALib Modelica libraries

The ARENALib and SIMANLib Modelica libraries replicate the basic functionality of the Arena simulation environment and the SIMAN language. These libraries facilitate describing discrete-event models using the Arena modeling methodology. ARENALib and SIMANLib models can be combined with other Modelica models in order to describe complex hybrid systems (i.e., combined continuous-time and discrete-event systems). The implementation and design of SIMANLib and ARENALib is discussed. The ARENALib components have been built in a modular fashion using SIMANLib. The SIMANLib components have been described as Parallel DEVS models and implemented using DEVSLib, a Modelica library previously developed by the authors to support the Parallel DEVS formalism. The use of Parallel DEVS as underlying mathematical formalism has facilitated the development and maintenance of SIMANLib. The modeling of two hybrid systems is discussed to illustrate the features and use of SIMANLib and ARENALib: firstly, a soaking-pit furnace; secondly, the malaria spread and an emergency hospital. DEVSLib, SIMANLib and ARENALib can be freely downloaded from http://www.euclides.dia.uned.es/.     

Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler

We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results.     

Distributed simulation of DEVS and Cell-DEVS models in CD++ using Web-Services

Discrete event system specification (DEVS) is a modeling and simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial models as a cell space assembled of a group of DEVS models connected together. CD++ is a modeling and simulation toolkit capable of executing DEVS and Cell-DEVS models that has proven to be useful for executing complex models. We present the design and implementation of a distributed simulation engine, known as D-CD++, which exposes CD++ simulation utilities as machine-consumable services. In addition, we present the design and implementation of the Web-Service components which enable D-CD++ to expose the simulation functionalities to remote users. Enabling CD++ with Web-Services technology provides a solid framework for interoperating different DEVS implementations in order to achieve a standard DEVS Modeling Language and simulation protocols. This paves the road towards DEVS standardization, while providing a mashup approach, which can lead to higher degree of reuse and reduced time to set up and run experiments, and making sharing among remote users more effective. To prove this fact, we integrate it within larger services (such as a 3D visualization engine), showing the mechanism to incorporate to other environments (including geographical information systems, web-based applications and other modeling and simulation tools) through using standard Web-Service tools. Performance of D-CD++, major bottlenecks and communication overheads are analyzed.     

Ordering of simultaneous events in distributed DEVS simulation

Simultaneous events are the events scheduled to occur at the same simulation time. This paper proposes a new event ordering mechanism for handling simultaneous events of DEVS models in distributed simulation. The DEVS formalism provides a formal framework for specifying discrete event models in a modular, hierarchical form. Thus, the formalism can ease the model verification and validation problems of distributed simulation. Also, the formalism separates models from underlying simulation algorithms. Hence, DEVS models can be simulated in both sequential and distributed environments without any modification. One important issue for such framework is to obtain the same results in both simulation environments. However, in distributed simulation of DEVS models, the processing order of simultaneous events may affect the simulation results. Thus, some ordering mechanism of events is required for well-defined simulation results. The proposed mechanism orders simultaneous events correctly with respect to their causal relationships in distributed DEVS simulation. Also, the mechanism guarantees the same ordering of simultaneous events in both sequential and distributed simulation environments.     

A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development

We present a time domain extension of the hierarchical and modular discrete event specification (DEVS) formalism. This extension is important for establishing a seamless real-time software development framework. Formalisms help describe a system unambiguously. If formal models are implemented without any consistent frameworks, however, it is hard to guarantee that there is no semantic gap between models and codes. Real-Time DEVS, named RTDEVS, is an extension of DEVS that can be characterized in three perspectives: the real time execution of models, the addition of time interval functions, and the activity specification for each state. After analyzing a system, the framework based on RTDEVS helps to expand each model of the system for executing in a real-time environment. In order to support the RTDEVS formalism, we propose abstract executive concepts based on the abstract simulator concepts of the DEVS formalism. Also, we implement an RTDEVS execution engine, named DEVS Executive, which runs on real-time Mach.     

DEVSpecL: DEVS specification language for modeling,simulation and analysis of discrete event systems

Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling language called DEVS Specification Language (DEVSpecL) based on which discrete event systems are modeled, simulated and analyzed within a DEVS-based framework for seamless systems design. Models specified in DEVSpecL can be translated in different forms of codes by code generators, which are executed with various tools for models verification, logical analysis, performance evaluation, and others.     

Self-reproducible DEVS formalism

System reproduction model to the growing system structure can be used to design modeling formalisms for variable system architectures having historical characteristics. We introduce a discrete event system specifications (DEVS)-based extended formalism that a system structure gradually grows through self-reproductions of system components. The proposed formalism is applied to atomic DEVS modeling and coupled DEVS modeling. As extended-atomic DEVS model, atomic self-reproduction (SR) DEVS modeling to a system component makes virtual-child atomic DEVS models. By SR DEVS modeling, a child coupled model can be also reproduced from a parent coupled model. When a system component model reproduces its system component, a child component model can receive its parent model characteristics including determined role or behavior, and include different structure model characteristics. A virtual-child model that has its parent characteristics can also reproduce next child model which may show similar attributes of the grand-parent model.     

一种基于Modelica语言的混合系统DEVS模型架构

Modelica语言采用微分方程描述系统,此外它还具备面向对象编程语言的特性,因此它不仅适用于连续系统的建模,还支持离散系统的模型架构。因此,可以将Modelica作为一种混合系统的建模语言。提出了一个Modelica语言描述的DEVS（Discrete E Vent System specification离散事件系统规范）模型架构,并通过对模型的编译过程产生C＋＋代码,获取了同时描述连续系统和离散系统建模的能力。最后给出了用Modelica语言描述的一个飞机导航控制连续一离散仿真系统的例子。     

Extending the DEVS formalism for massively parallel simulation

The use of multiprocessors for discrete event simulation is an active research area where work has focused on strategies for model execution with little regard for the underlying formalism in which models may be expressed. However, a formalism-based approach offers several advantages including the ability to migrate models from sequential to parallel platforms and the ability to calibrate simulation architectures to model structural properties. In this article, we extend the DEVS (discrete event system specification) formalism, originally developed for sequential simulation, to accommodate the full potential of parallel processing. The extension facilitates exploitation of both internal and external event parallelism manifested in hierarchical, modular DEVS models. After developing a mapping of the extended formalism to parallel architectures, we describe an implementation of the approach on a massively parallel architecture, the Connection Machine. Execution results are discussed for a class of models exhibiting high external and internal event parallelism, the so-called broadcast models. These verify the tenets of the underlying theory and demonstrate that significant reduction in execution time is possible compared to the same model executed in serial simulation.     

Discrete-event modelling of fire spreading

We deal here with the application of discrete-event System Specification (DEVS) formalism to implement a semi-physical fire spread model. Currently, models from physics finely representing forest fires are not efficient and still under development. If current softwares are devoted to the simulation of simple models of fire spread, nowadays there is no environment allowing us to model and simulate complex physical models of fire spread. Simulation models of such a type of models require being easily designed, modified and efficient in terms of execution time. DEVS formalism can be used to deal with these problems. This formalism enables the association of object-oriented hierarchical modelling with discrete-event techniques. Object-oriented hierarchical programming facilitates construction, maintenance and reusability of the simulation model. Discrete-events reduce the calculation domain to the active cells of the propagation domain (the heated ones).     

DEVS methodology for evaluating time-constrained message routing policies

Due to its ability to support temporal issues of systems, discrete event simulation is widely applicable to real-time system design. This paper presents a methodology for the modeling and simulation of time-constrained message routing policies for hypercube interconnected real-time systems. The methodology is based on a framework called the DEVS (discrete event systems specification) formalism which supports modular and hierarchical specification of discrete event models. Within the methodology, we first develop DEVS specification for models for hypercube computers and experimental frames to measure the performance of alternative message routing policies. We then implement such specification in DEVSIM++, a C++-based modeling/simulation environment that implements the DEVS formalism. Simulations of various message routing policies are performed, and the performances of such policies are compared.     

Modeling and optimization of manufacturing process performance using Modelica graphical representation and process analytics formalism

This paper concerns the development of a design methodology and its demonstration through a prototype system for performance modeling and optimization of manufacturing processes. The design methodology uses a Modelica simulation tool serving as the graphical user interface for manufacturing domain users such as process engineers to formulate their problems. The Process Analytics Formalism, developed at the National Institute of Standards and Technology, serves as a bridge between the Modelica classes and a commercial optimization solver. The prototype system includes (1) manufacturing model components’ libraries created by using Modelica and the Process Analytics Formalism, and (2) a translator of the Modelica classes to Process Analytics Formalism, which are then compiled to mathematical programming models and solved using an optimization solver. This paper provides an experiment toward the goal of enabling manufacturing users to intuitively formulate process performance models, solve problems using optimization-based methods, and automatically get actionable recommendations.     

A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations

This paper introduces a new specification for cellular DEVS models that assures high performance. It starts with the parallel DEVS specification and derives a high performance cellular DEVS layer using the property of closure under coupling. This is done through converting the parallel DEVS into its equivalent non-modular form which involves computational and communication overhead tradeoffs. The new specification layer, in contrast to multi-component DEVS, is identical to the modular parallel DEVS in the sense of state trajectories which are updated according to the modular message passing methodology. The equivalency of the two forms is verified using simulation methods. Once the equivalency has been ensured, analysis of the models becomes a decisive factor in employing modularity in cellular DEVS models. Non-modular models guarantee the efficiency of the models in contrast to the current cellular DEVS implementation approaches. This was achieved by converting the cell space partially or fully into atomic model in order to eliminate inter-cell messages. However, the new specification needs an automated way to implement and verify models since they might become complicated ones.     

基于Modelica的多领域建模与联合仿真

为实现多领域建模仿真环境与其他仿真环境的联合仿真,提出基于Modelica多领域建模的联合仿真方案.该方案基于Modelica多领域模型的连接机制,通过Modelica模型与Simulink模块的转换机理,实现在S-Function联合仿真框架下的联合仿真.基于Modelica的多领域物理系统建模仿真工具MWorks与...     

REALIZATION THEORY OF DISCRETE-EVENT SYSTEMS AND ITS APPLICATION TO THE UNIQUENESS AND UNIVERSALITY OF DEVS FORMALISM

Many man-made systems have discrete event nature. Many modeling formalisms for discrete-event mechanisms have invented and been used for many problems. Among those models, the DEVS formalism is to provide natural and universal models in some sense.

This paper first provides a realization theory of general discrete-event systems. That is, a behavioral definition of discrete-event system is defined, and then a state transition function of the system is constructed. Based on the realization, the uniqueness problem of representations for discrete-event systems is positively solved. Furthermore, as an application of that solution, this paper shows both the fact that a legitimate DEVS with surjective internal transition function is unique up to isomorphism in the class of state representations of the state system defined from the DEVS, and the fact that any discrete-event system has a DEVS realization. In this sense the DEVS modeling facility has the uniqueness and universality in modeling discrete event mechanisms.     

DEVS formalism: a framework for hierarchical model development

A methodology is being developed to map hierarchical, modular discrete event models onto distributed simulator architectures. Concept developed for the first step of the methodology concerning model representation are discussed. The DEVS (Discrete Event System Specification) is extended to facilitate modular, hierarchical model specification. Procedures for top-down model development are expressed with the extended formalism and illustrated with a computer system model design     

A modelling and simulation based process for dependable systems design

Complex real-time system design needs to address dependability requirements, such as safety, reliability, and security. We introduce a modelling and simulation based approach which allows for the analysis and prediction of dependability constraints. Dependability can be improved by making use of fault tolerance techniques. The de-facto example, in the real-time system literature, of a pump control system in a mining environment is used to demonstrate our model-based approach. In particular, the system is modelled using the Discrete EVent system Specification (DEVS) formalism, and then extended to incorporate fault tolerance mechanisms. The modularity of the DEVS formalism facilitates this extension. The simulation demonstrates that the employed fault tolerance techniques are effective. That is, the system performs satisfactorily despite the presence of faults. This approach also makes it possible to make an informed choice between different fault tolerance techniques. Performance metrics are used to measure the reliability and safety of the system, and to evaluate the dependability achieved by the design. In our model-based development process, modelling, simulation and eventual deployment of the system are seamlessly integrated.     

A modular timed graph transformation language for simulation-based design

We introduce the MoTif (Modular Timed graph transformation) language, which allows one to elegantly model complex control structures for programmed graph transformation. These include modular construction, parallel composition, and a temporal dimension in addition to the usual transformation control structures. The first part of this contribution formally introduces MoTif and its semantics is based on the Discrete EVent system Specification (DEVS) formalism which allows for highly modular, hierarchical modelling of timed, reactive systems. In MoTif, graphs are embedded in events and individual transformation rules are embedded in atomic DEVS models. A side effect of the use of DEVS is the introduction of an explicit notion of time. This allows one to model a time-advance for every rule as well as to interrupt (pre-empt) rule execution. In the second part, we design a case study to show how the explicit notion of time allows for the simulation-based design of reactive systems such as modern computer games. We use the well-known game of PacMan as an example and model its dynamics in MoTif. This also allows the modelling of player behaviour, incorporating data about human players’ behaviour, and reaction times. Thus, a model of both player and game is obtained which can be used to evaluate, through simulation, the playability of a game design. We propose a playability performance measure and change the value of some parameters of the PacMan game. For each variant of the game thus obtained, simulation yields a value for the quality of the game. This allows us to choose an “optimal” (from a playability point of view) game configuration. The user model is subsequently replaced by a visual interface to a real player, and the game model is executed using a real-time DEVS simulator.