332 research outputs found
Extending the DEVS Formalism with Initialization Information
DEVS is a popular formalism to model system behaviour using a discrete-event
abstraction. The main advantages of DEVS are its rigourous and precise
specification, as well as its support for modular, hierarchical construction of
models. DEVS frequently serves as a simulation "assembly language" to which
models in other formalisms are translated, either giving meaning to new
(domain-specific) languages, or reproducing semantics of existing languages.
Despite this rigourous definition of its syntax and semantics, initialization
of DEVS models is left unspecified in both the Classic and Parallel DEVS
formalism definition. In this paper, we extend the DEVS formalism by including
an initial total state. Extensions to syntax as well as denotational (closure
under coupling) and operational semantics (abstract simulator) are presented.
The extension is applicable to both main variants of the DEVS formalism. Our
extension is such that it adds to, but does not alter the original
specification. All changes are illustrated by means of a traffic light example
Virtual Communication Stack: Towards Building Integrated Simulator of Mobile Ad Hoc Network-based Infrastructure for Disaster Response Scenarios
Responses to disastrous events are a challenging problem, because of possible
damages on communication infrastructures. For instance, after a natural
disaster, infrastructures might be entirely destroyed. Different network
paradigms were proposed in the literature in order to deploy adhoc network, and
allow dealing with the lack of communications. However, all these solutions
focus only on the performance of the network itself, without taking into
account the specificities and heterogeneity of the components which use it.
This comes from the difficulty to integrate models with different levels of
abstraction. Consequently, verification and validation of adhoc protocols
cannot guarantee that the different systems will work as expected in
operational conditions. However, the DEVS theory provides some mechanisms to
allow integration of models with different natures. This paper proposes an
integrated simulation architecture based on DEVS which improves the accuracy of
ad hoc infrastructure simulators in the case of disaster response scenarios.Comment: Preprint. Unpublishe
The Effect of Modeling Simultaneous Events on Simulation Results
This thesis explores the method that governs the prioritizing process for simultaneous events in relation to simulation results for discrete-event simulations. Specifically, it contrasts typical discrete-event simulation (DES) execution algorithms with how events are selected and ordered by the discrete-event system specification (DEVS) formalism. The motivation for this research stems from a desire to understand how the selection of events affects simulation output (i.e., response). As a particular use case, we briefly investigate the processing of simultaneous events by the Advanced Framework for Simulation, Integration and Modeling (AFSIM), a military discrete-event combat modeling and simulation package. To facilitate the building of classic DEVS-based models, the python software package PythonPDEVS is used. Initial results indicate that the explicit modeling of how simultaneous events are selected as promoted by the DEVS formalism plays a significant role on simulation results
Computer-aided design for building multipurpose routing processes in discrete event simulation models
Good domain-modeling enables an appropriate separation of concerns that improves quality properties in the simulation models, such as modifiability and maintainability. In this paper, the interplay of abstraction and concreteness in advancing the theory and practice of Modelling and Simulation is improved using the Model-Driven Engineering levels for building simulation models devoted to routing processes. The definition of this type of processes is detailed as a domain-model conceived as an abstraction defined in a graph model. Such abstraction turns into a set of formal simulation models that are (later) translated into an executable implementation. The final simulation models are specified using Routed DEVS formalism. The methodological proposal is accomplished with the development of a Modelling and Simulation graphical software tool that uses the set of models (defined in terms of the Model-Driven Engineering approach) as the core of its operation. This graphical software tool is developed as a plug-in for Eclipse Integrated Development Environment with aims to take advantage of existent Modeling and Simulation software. Therefore, the usefulness of graphical modeling for supporting the development of the simulation models is empowered with a Model-Driven Engineering process. The main benefit obtained when the Model-Driven Engineering approach is used for modeling an abstraction of the final simulation model is a clear reduction of formalization and implementation times.Fil: Blas, MarĂa Julia. Consejo Nacional de Investigaciones CientĂficas y TĂ©cnicas. Centro CientĂfico TecnolĂłgico Conicet - Santa Fe. Instituto de Desarrollo y Diseño. Universidad TecnolĂłgica Nacional. Facultad Regional Santa Fe. Instituto de Desarrollo y Diseño; ArgentinaFil: Gonnet, Silvio Miguel. Consejo Nacional de Investigaciones CientĂficas y TĂ©cnicas. Centro CientĂfico TecnolĂłgico Conicet - Santa Fe. Instituto de Desarrollo y Diseño. Universidad TecnolĂłgica Nacional. Facultad Regional Santa Fe. Instituto de Desarrollo y Diseño; Argentin
Dynamic Distributed Simulation of DEVS Models on the OSGi Service Platform
Interoperability among simulators is one of the key factors in distributed simulations. Several interoperability infrastructures such as HLA and DEVS/SOA have been utilised, but most of them do not provide any dynamics. This paper introduces the use of the OSGi service platform as universal middleware for dynamic distributed simulation of DEVS models. We have designed and implemented the DEVS/OSGi simulation framework, which is an approach similar to DEVS/SOA, but relies on an integrated service-oriented and protocol independent architecture. It enables standardized plug-and-play capabilities and dynamic reconfiguration within distributed simulations. The architecture and implementation has been validated in an analytical context against a traffic simulation model. We conclude that the standardised interoperability and run-time dynamics provided by the OSGi service platform are highly valuable for distributed simulations
The DEVStone Metric: Performance Analysis of DEVS Simulation Engines
The DEVStone benchmark allows us to evaluate the performance of
discrete-event simulators based on the DEVS formalism. It provides model sets
with different characteristics, enabling the analysis of specific issues of
simulation engines. However, this heterogeneity hinders the comparison of the
results among studies, as the results obtained on each research work depend on
the chosen subset of DEVStone models. We define the DEVStone metric based on
the DEVStone synthetic benchmark and provide a mechanism for specifying
objective ratings for DEVS-based simulators. This metric corresponds to the
average number of times that a simulator can execute a selection of 12 DEVStone
models in one minute. The variety of the chosen models ensures we measure
different particularities provided by DEVStone. The proposed metric allows us
to compare various simulators and to assess the impact of new features on their
performance. We use the DEVStone metric to compare some popular DEVS-based
simulators
Dynamic Distributed Simulation of DEVS Models on the OSGi Service Platform
Interoperability among simulators is one of the key factors in distributed simulations. Several interoperability infrastructures such as HLA and DEVS/SOA have been utilised, but most of them do not provide any dynamics. This paper introduces the use of the OSGi service platform as universal middleware for dynamic distributed simulation of DEVS models. We have designed and implemented the DEVS/OSGi simulation framework, which is an approach similar to DEVS/SOA, but relies on an integrated service-oriented and protocol independent architecture. It enables standardized plug-and-play capabilities and dynamic reconfiguration within distributed simulations. The architecture and implementation has been validated in an analytical context against a traffic simulation model. We conclude that the standardised interoperability and run-time dynamics provided by the OSGi service platform are highly valuable for distributed simulations
Sequential PDEVS Architecture
International audienceParallel Discrete Event System Specification (PDEVS) is a well-known formalism used to model and simulate Discrete Event Systems. This formalism uses an abstract simulator that defines a set of abstract algorithms that are parallel by nature. To implement simulators using these abstract algorithms , several architectures were proposed. Most of these architectures follow distributed approaches that may not be appropriate for single core processors or microcontrollers. In order to reuse efficiently PDEVS models in this type of systems, we define a new architecture that provides a single threaded execution by passing messages in a call/return fashion to simplify the execution time analysis
Toward composing variable structure models and their interfaces: a case of intensional coupling definitions
In this thesis, we investigate a combination of traditional component-based and variable structure modeling. The focus is on a structural consistent specification of couplings in modular, hierarchical models with a variable structure. For this, we exploitintensional definitions, as known from logic, and introduce a novel intensional coupling definition, which allows a concise yet expressive specification of complex communication and interaction patterns in static as well as variable structure models, without the need to worryabout structural consistency.In der Arbeit untersuchen wir ein Zusammenbringen von klassischer komponenten-basierter und variabler Strukturmodellierung. Der Fokus liegt dabei auf der Spezifikation von strukturkonsistenten Kopplungen in modular-hierarchischen Modellen mit einer variablen Struktur. DafĂĽr nutzen wir intensionale Definitionen, wie sie aus der Logik bekannt sind, und fĂĽhren ein neuartiges Konzept von intensionalen Kopplungen ein, welches kompakte gleichzeitig ausdrucksstarke Spezifikationen von komplexen Kommunikations- und Interaktionsmuster in statischen und variablen Strukturmodellen erlaubt
- …